Skip to content
.github/workflows/build_2023.yml

No longer necessary to disable HOL-Algebra notation, as it's disabled… #32

Sign in to view logs

No longer necessary to disable HOL-Algebra notation, as it's disabled…

No longer necessary to disable HOL-Algebra notation, as it's disabled… #32

Triggered via push November 12, 2025 13:44
@simondfostersimondfoster
pushed a081e1e
main
Status Failure
Total duration 1m 57s
Artifacts –

build_2023.yml

on: push
Build Theory
1m 52s
Build Theory
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build Theory
Process completed with exit code 1.