Skip to content
Nix CI for bundle default

update claims #90

Sign in to view logs

update claims

update claims #90

Triggered via push January 5, 2024 13:11
@ecranceMERCEecranceMERCE
pushed bba45bc
master
Status Success
Total duration 4m 2s
Artifacts –

nix-action-default.yml

on: push
coq
29s
coq
coq-elpi
1m 23s
coq-elpi
trocq
1m 47s
trocq
Fit to window
Zoom out
Zoom in