Skip to content
Nix CI for bundle default

Update INSTALL.md #107

Sign in to view logs

Update INSTALL.md

Update INSTALL.md #107

Triggered via push January 11, 2024 14:28
@CohenCyrilCohenCyril
pushed 631bcb0
master
Status Success
Total duration 5m 37s
Artifacts –

nix-action-default.yml

on: push
coq
58s
coq
coq-elpi
1m 58s
coq-elpi
trocq
2m 21s
trocq
Fit to window
Zoom out
Zoom in