Skip to content

Conversation

@tzemanovic
Copy link
Collaborator

No description provided.

tzemanovic added a commit that referenced this pull request Dec 7, 2022
* tomas/fix-abcipp-build:
  fix `make check-abcipp` and `make clippy-abcipp`
@tzemanovic
Copy link
Collaborator Author

pls update wasm

1 similar comment
@tzemanovic
Copy link
Collaborator Author

pls update wasm

@tzemanovic tzemanovic force-pushed the tomas/fix-abcipp-build branch from d5b4898 to 3150aec Compare December 8, 2022 09:32
@tzemanovic
Copy link
Collaborator Author

pls update wasm

@tzemanovic tzemanovic marked this pull request as ready for review December 8, 2022 10:20
@tzemanovic tzemanovic requested a review from james-chf December 8, 2022 10:20
Copy link
Contributor

@james-chf james-chf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm!

@james-chf
Copy link
Contributor

Relates to #497

@tzemanovic tzemanovic merged commit 2686cc4 into main Dec 8, 2022
@tzemanovic tzemanovic deleted the tomas/fix-abcipp-build branch December 8, 2022 14:10
tzemanovic added a commit that referenced this pull request Dec 9, 2022
* tomas/fix-abcipp-build:
  [ci] wasm checksums update
  fix `make check-abcipp` and `make clippy-abcipp`
@tzemanovic tzemanovic mentioned this pull request Dec 9, 2022
@tzemanovic tzemanovic restored the tomas/fix-abcipp-build branch December 12, 2022 09:32
tzemanovic added a commit that referenced this pull request Dec 12, 2022
* tomas/fix-abcipp-build:
  [ci] wasm checksums update
  fix `make check-abcipp` and `make clippy-abcipp`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants