issues
search
jasmin-lang
/
jasmin
Language for high-assurance and high-speed cryptography
MIT License
271
stars
55
forks
source link
CI: fixes for job coq-master
#855
Closed
vbgl
closed
4 months ago
vbgl
commented
4 months ago
Update
nixpkgs
to support latest
coq-elpi
Fix
coq-elpi
derivation
Allow the
coq-master
CI job to fail and disable it on
release-*
branches.
nixpkgsto support latestcoq-elpicoq-elpiderivationcoq-masterCI job to fail and disable it onrelease-*branches.