CI: update nixpkgs (to channel 24.05)

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography

MIT License

271 stars 55 forks source link

Closed vbgl closed 6 months ago

vbgl commented 6 months ago

It notably includes:

eponier commented 6 months ago

Is this independent of #560?

vbgl commented 6 months ago

Yes it is.

eponier commented 6 months ago

Then I'm merging.