Skip to content
Nix CI for bundle default

update meta and readme (#39) #188

Sign in to view logs

update meta and readme (#39)

update meta and readme (#39) #188

Triggered via push January 3, 2025 16:10
@CohenCyrilCohenCyril
pushed f8403f9
master
Status Success
Total duration 4m 18s
Artifacts –

nix-action-default.yml

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

Annotations

3 warnings
coq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
coq-elpi
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
trocq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636