Skip to content
Nix CI for bundle default

📝 Example int Zp #94

Sign in to view logs

📝 Example int Zp

📝 Example int Zp #94

Triggered via push January 5, 2024 15:53
@ecranceMERCEecranceMERCE
pushed 7ede451
master
Status Success
Total duration 4m 4s
Artifacts –

nix-action-default.yml

on: push
coq
27s
coq
coq-elpi
1m 24s
coq-elpi
trocq
1m 48s
trocq
Fit to window
Zoom out
Zoom in