Skip to content

Add instructions how to update the agda version pin to release notes …

fbe7611
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Nix flake: pin agda version to 2.8.0 #1291

Add instructions how to update the agda version pin to release notes …
fbe7611
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
test-cubical
succeeded Mar 25, 2026 in 3m 1s