Skip to content
Nix CI for bundle default

Update GETTING_STARTED.md #92

Sign in to view logs

Update GETTING_STARTED.md

Update GETTING_STARTED.md #92

Triggered via push January 5, 2024 15:08
@CohenCyrilCohenCyril
pushed f06b52b
master
Status Success
Total duration 4m 5s
Artifacts –

nix-action-default.yml

on: push
coq
32s
coq
coq-elpi
1m 22s
coq-elpi
trocq
1m 47s
trocq
Fit to window
Zoom out
Zoom in