Skip to content
.github/workflows/main.yml

align types used in the definition of real numbers #805

Sign in to view logs

align types used in the definition of real numbers

align types used in the definition of real numbers #805

Triggered via pull request September 15, 2024 14:41
@fblanquifblanqui
synchronize #135
fblanqui:real
Status Failure
Total duration 6m 36s
Artifacts –

main.yml

on: pull_request
Matrix: hol-light-to-dedukti
Fit to window
Zoom out
Zoom in

Annotations

4 errors
hol-light-to-dedukti (5.1.1, 8.02.01, 2.7, master, 3.15.0)
Process completed with exit code 2.
hol-light-to-dedukti (5.1.1, 8.02.01, 2.7, 2.5.0, 3.15.0)
Process completed with exit code 2.
hol-light-to-dedukti (4.14.1, 8.02.01, 2.7, master, 3.15.0)
Process completed with exit code 2.
hol-light-to-dedukti (4.14.1, 8.02.01, 2.7, 2.5.0, 3.15.0)
Process completed with exit code 2.