Skip to content
.github/workflows/main.yml

align types used in the definition of real numbers #817

Sign in to view logs

align types used in the definition of real numbers

align types used in the definition of real numbers #817

Triggered via pull request November 1, 2024 03:26
@fblanquifblanqui
edited #135
fblanqui:real
Status Failure
Total duration 8m 0s
Artifacts –

main.yml

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

Annotations

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