Skip to content
Nix CI for bundle default

generic DOI #124

Sign in to view logs

generic DOI

generic DOI #124

Triggered via push January 15, 2024 09:43
@CohenCyrilCohenCyril
pushed e06e6e7
master
Status Success
Total duration 5m 50s
Artifacts –

nix-action-default.yml

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