Skip to content

Update failing proof lists #2431

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
Merged
merged 5 commits into from
May 17, 2024
Merged

Update failing proof lists #2431

merged 5 commits into from
May 17, 2024

Conversation

ehildenb
Copy link
Member

This PR updates the failing proof lists:

  • Many now-passing proofs on booster are enabled, except for one that is passing but taking too long (everything enabled here is <1500s).
  • Tests now enabled on booster are disabled on kore-rpc or legacy kprove (just a handful), to reduce overall CI burden there.

@ehildenb ehildenb self-assigned this May 16, 2024
@ehildenb ehildenb marked this pull request as ready for review May 17, 2024 00:33
@ehildenb ehildenb requested review from Baltoli and anvacaru May 17, 2024 00:33
@rv-jenkins rv-jenkins merged commit a93086e into master May 17, 2024
11 checks passed
@rv-jenkins rv-jenkins deleted the booster-proofs branch May 17, 2024 06:27
This was referenced May 21, 2024
Merged
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@anvacaru anvacaru anvacaru approved these changes

@Baltoli Baltoli Awaiting requested review from Baltoli

Assignees

@ehildenb ehildenb

Labels
automerge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@ehildenb @anvacaru @rv-jenkins @rv-auditor