Skip to content
Nix CI for bundle 8.18

Same behavior proof #701

Sign in to view logs

Same behavior proof

Same behavior proof #701

Triggered via push January 20, 2025 07:59
@InnocentusLimeInnocentusLime
pushed 49fcb5a
dev-theorem5
Status Success
Total duration 11m 50s
Billable time 16m
Artifacts –

nix-action-8.18.yml

on: push
coq
39s
coq
hahn
38s
hahn
sflib
40s
sflib
vscoq-language-server
44s
vscoq-language-server
hahnExt
37s
hahnExt
promising-lib
37s
promising-lib
imm
40s
imm
xmm
8m 30s
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
hahn
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
vscoq-language-server
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
promising-lib
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