New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix CI issues #21

Merged

ekzhang merged 1 commit into main from fix-ci-issues

Mar 2, 2022

Owner

ekzhang commented Mar 2, 2022

Remove not_eq_relation ui test
Update criterion benchmarks to use new, non-deprecated API


          Fix CI issues

a59b27a

- Remove `not_eq_relation` ui test
- Update criterion benchmarks to use new, non-deprecated API

ekzhang enabled auto-merge (squash)

March 2, 2022 23:30

ekzhang merged commit 5cf4c6e into main

ekzhang deleted the fix-ci-issues branch

March 2, 2022 23:33

Cypher1 mentioned this pull request

Prune_leakers project-oak/arcsjs-provable#20

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet