Skip to content
Nix CI for bundle default

📝 Documentation (theories) #118

Sign in to view logs

📝 Documentation (theories)

📝 Documentation (theories) #118

Triggered via push January 12, 2024 15:15
@ecranceMERCEecranceMERCE
pushed 15ad3cf
master
Status Success
Total duration 5m 44s
Artifacts –

nix-action-default.yml

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