Skip to content
.github/workflows/main.yml

update to rocq 9.0, lambdapi 3.0.0 and hol_light 3.1.0 #1098

Sign in to view logs

update to rocq 9.0, lambdapi 3.0.0 and hol_light 3.1.0

update to rocq 9.0, lambdapi 3.0.0 and hol_light 3.1.0 #1098

Triggered via pull request July 21, 2025 15:58
@fblanquifblanqui
synchronize #179
fblanqui:hollight3.1
Status Failure
Total duration 12m 4s
Artifacts –

main.yml

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

Annotations

1 error
ci (5.3.0, 3.19.1, 8.03.06, 3.1.0, master, master, 2.7, mappings_N)
Process completed with exit code 1.