Skip to content
Nix CI for bundle default

Fix comments and example #136

Sign in to view logs

Fix comments and example

Fix comments and example #136

Triggered via push January 16, 2024 23:12
@CohenCyrilCohenCyril
pushed 95f083a
master
Status Success
Total duration 5m 41s
Artifacts –

nix-action-default.yml

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