Skip to content

Verus CI: install Nix + mirror rivet's nix_repo pin

18f5059
Select commit
Loading
Failed to load commit list.
Merged

Add Verus CI job (closes #7) #19

Verus CI: install Nix + mirror rivet's nix_repo pin
18f5059
Select commit
Loading
Failed to load commit list.