Skip to content
Nix CI for bundle default

bootstrap software heritage #96

Sign in to view logs

bootstrap software heritage

bootstrap software heritage #96

Triggered via push January 5, 2024 16:35
@CohenCyrilCohenCyril
pushed 1268bcb
master
Status Success
Total duration 4m 4s
Artifacts –

nix-action-default.yml

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