Skip to content
Nix CI for bundle default

VSCode -> VSCode current user #116

Sign in to view logs

VSCode -> VSCode current user

VSCode -> VSCode current user #116

Triggered via push January 11, 2024 16:45
@CohenCyrilCohenCyril
pushed 1dba18e
master
Status Success
Total duration 5m 34s
Artifacts –

nix-action-default.yml

on: push
coq
53s
coq
coq-elpi
2m 0s
coq-elpi
trocq
2m 12s
trocq
Fit to window
Zoom out
Zoom in