Skip to content
Nix CI for bundle default

moving the opam and nix instructions to GETTING_STARTED #86

Sign in to view logs

moving the opam and nix instructions to GETTING_STARTED

moving the opam and nix instructions to GETTING_STARTED #86

Triggered via push January 5, 2024 09:55
@CohenCyrilCohenCyril
pushed 1079a9f
master
Status Success
Total duration 3m 46s
Artifacts –

nix-action-default.yml

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