Skip to content
Nix CI for bundle default

Update INSTALL.md #103

Sign in to view logs

Update INSTALL.md

Update INSTALL.md #103

Triggered via push January 11, 2024 14:07
@CohenCyrilCohenCyril
pushed a6208bf
master
Status Success
Total duration 6m 10s
Artifacts –

nix-action-default.yml

on: push
coq
59s
coq
coq-elpi
2m 30s
coq-elpi
trocq
2m 17s
trocq
Fit to window
Zoom out
Zoom in