Skip to content
.github/workflows/main.yml

ci: use hol_light 3.1.0 #1172

Sign in to view logs

ci: use hol_light 3.1.0

ci: use hol_light 3.1.0 #1172

Triggered via pull request November 20, 2025 14:50
@fblanquifblanqui
synchronize #190
fblanqui:ci
Status Failure
Total duration 4m 27s
Artifacts –

main.yml

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

Annotations

1 error
ci (3.20.2, 5.4.0, 8.03.06, 3.1.0, 37af947, master, 2.7)
Process completed with exit code 20.