Skip to content
Nix CI for bundle default

Update STATUS.md #98

Sign in to view logs

Update STATUS.md

Update STATUS.md #98

Triggered via push January 5, 2024 16:39
@CohenCyrilCohenCyril
pushed a1a72f9
master
Status Success
Total duration 4m 3s
Artifacts –

nix-action-default.yml

on: push
coq
30s
coq
coq-elpi
1m 30s
coq-elpi
trocq
1m 42s
trocq
Fit to window
Zoom out
Zoom in