Skip to content
Nix CI for bundle default

Add DOI Zenodo to the STATUS.md #115

Sign in to view logs

Add DOI Zenodo to the STATUS.md

Add DOI Zenodo to the STATUS.md #115

Triggered via push January 11, 2024 16:43
@CohenCyrilCohenCyril
pushed ab39a7d
master
Status Success
Total duration 5m 30s
Artifacts –

nix-action-default.yml

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