Skip to content
Nix CI for bundle default

Compress #134

Sign in to view logs

Compress

Compress #134

Triggered via push January 16, 2024 09:28
@CohenCyrilCohenCyril
pushed 44efa82
master
Status Success
Total duration 13m 22s
Artifacts –

nix-action-default.yml

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