Skip to content
.github/workflows/main.yml

Generate the proofs of all the theorems of an HOL-Light file in a single Lambdapi file #1126

Sign in to view logs

Generate the proofs of all the theorems of an HOL-Light file in a single Lambdapi file

Generate the proofs of all the theorems of an HOL-Light file in a single Lambdapi file #1126

Triggered via pull request July 30, 2025 20:54
@fblanquifblanqui
synchronize #183
fblanqui:merge
Status Failure
Total duration 16m 55s
Artifacts –

main.yml

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

Annotations

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