-
-
Notifications
You must be signed in to change notification settings - Fork 13.7k
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.
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
fix metacoq builds for coq >= 8.16 in dev mode, adds 1.1 release for coq 8.16 #192437
Conversation
a56c248
to
83a6a18
Compare
@Zimmi48, @CohenCyril, @vbgl would one of you consider reviewing this PR ? |
"1.1-8.14".sha256 = ""; | ||
"1.1-8.15".sha256 = ""; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I guess you need to update this
"1.1-8.14".sha256 = ""; | ||
"1.1-8.15".sha256 = ""; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
"1.1-8.14".sha256 = ""; | |
"1.1-8.15".sha256 = ""; | |
"1.1-8.14".sha256 = "sha256-6vViCNQl6BnGgOHX3P/OLfFXN4aUfv4RbDokfz2BgQI="; | |
"1.1-8.15".sha256 = "sha256-qCD3wFW4E+8vSVk4XoZ0EU4PVya0al+JorzS9nzmR/0="; |
83a6a18
to
fb3c486
Compare
Sorry, I messed up my commits. It seems that the CI went through with the right hashes. |
Description of changes
Things done
sandbox = true
set innix.conf
? (See Nix manual)nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD"
. Note: all changes have to be committed, also see nixpkgs-review usage./result/bin/
)nixos/doc/manual/md-to-db.sh
to update generated release notes