Skip to content
Nix CI for bundle default

📝 ESOP2024 documentation pointer #102

Sign in to view logs

📝 ESOP2024 documentation pointer

📝 ESOP2024 documentation pointer #102

Triggered via push January 6, 2024 11:49
@ecranceMERCEecranceMERCE
pushed dd6ae95
master
Status Success
Total duration 4m 13s
Artifacts –

nix-action-default.yml

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