Skip to content
.github/workflows/main.yml

include dependencies of hol.ml when dumping a file after hol.ml #1006

Sign in to view logs

include dependencies of hol.ml when dumping a file after hol.ml

include dependencies of hol.ml when dumping a file after hol.ml #1006

Triggered via pull request January 20, 2025 17:40
@fblanquifblanqui
synchronize #167
fblanqui:deps
Status Success
Total duration 17m 32s
Artifacts –

main.yml

on: pull_request
Matrix: ci
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
ci (5.2.1, 3.17.1, 8.03.01, 3.0.0, master, master, 2.7, With_nat)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ci (5.2.1, 3.17.1, 8.03.01, 3.0.0, master, master, 2.7, With_N)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636