Skip to content
Nix CI for bundle 8.18

Cleanup hb_helper for thesis #697

Sign in to view logs

Cleanup hb_helper for thesis

Cleanup hb_helper for thesis #697

Triggered via push January 17, 2025 22:05
@InnocentusLimeInnocentusLime
pushed 24bec64
dev-theorem5
Status Success
Total duration 13m 29s
Billable time 18m
Artifacts –

nix-action-8.18.yml

on: push
coq
36s
coq
hahn
36s
hahn
sflib
1m 26s
sflib
vscoq-language-server
41s
vscoq-language-server
hahnExt
39s
hahnExt
promising-lib
36s
promising-lib
imm
36s
imm
xmm
9m 39s
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
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
sflib
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