Skip to content
Nix CI for bundle 8.18

Behaviour definition #700

Sign in to view logs

Behaviour definition

Behaviour definition #700

Triggered via push January 19, 2025 23:26
@InnocentusLimeInnocentusLime
pushed 0c651d9
dev-theorem5
Status Success
Total duration 12m 7s
Billable time 16m
Artifacts –

nix-action-8.18.yml

on: push
coq
36s
coq
hahn
40s
hahn
sflib
38s
sflib
vscoq-language-server
45s
vscoq-language-server
hahnExt
42s
hahnExt
promising-lib
41s
promising-lib
imm
42s
imm
xmm
8m 48s
xmm
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
coq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
sflib
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
hahn
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
vscoq-language-server
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
promising-lib
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
hahnExt
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
imm
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
xmm
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636