Skip to content
Nix CI for bundle rocq-9.0

[CI] Update equation (now uses dune) #23

Sign in to view logs

[CI] Update equation (now uses dune)

[CI] Update equation (now uses dune) #23

metacoq-safechecker-plugin

metacoq-safechecker-plugin
succeeded Jan 31, 2025 in 7m 2s