Skip to content
Nix CI for bundle default

broken link and phrasing #104

Sign in to view logs

broken link and phrasing

broken link and phrasing #104

Triggered via push January 11, 2024 14:10
@CohenCyrilCohenCyril
pushed 9befb84
master
Status Success
Total duration 5m 39s
Artifacts –

nix-action-default.yml

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