Skip to content
Nix CI for bundle default

Update TUTORIAL.md #105

Sign in to view logs

Update TUTORIAL.md

Update TUTORIAL.md #105

Triggered via push January 11, 2024 14:16
@CohenCyrilCohenCyril
pushed ec069ca
master
Status Success
Total duration 5m 35s
Artifacts –

nix-action-default.yml

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