Skip to content
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

release fiat-crypto and deps #3022

Merged
merged 4 commits into from Apr 22, 2024
Merged

release fiat-crypto and deps #3022

merged 4 commits into from Apr 22, 2024

Conversation

andres-erbsen
Copy link
Contributor

I ran the script at #2992 and I don't really understand what I am doing.

@JasonGross please review

@andres-erbsen @JasonGross
Dependency version bumps by Jason
32576d5 
Co-authored-by: Jason Gross <jasongross9@gmail.com>
@andres-erbsen andres-erbsen mentioned this pull request Apr 22, 2024
Closed
@palmskog
Copy link
Contributor

We have the following error on Coq 8.15:

# File "/builds/coq/opam/opam-root-4.07.1-2.1.2-sandbox/4.07.1/.opam-switch/build/coq-riscv.0.0.5/src/riscv/Spec/Primitives.v", line 136, characters 6-12:
# Error: This command does not support this attribute: global.
# [unsupported-attributes,parsing]

Probably some Coq bound needs adjustment.

JasonGross
JasonGross approved these changes Apr 22, 2024
View reviewed changes
Copy link
Member

@JasonGross JasonGross left a comment

Choose a reason for hiding this comment

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

Failures are the typical OOMs

@JasonGross JasonGross merged commit a87d2ce into coq:master Apr 22, 2024
2 of 7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@JasonGross JasonGross JasonGross approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@andres-erbsen @palmskog @JasonGross