Skip to content
.github/workflows/build_2025.yml

Update github action to use cplaursen/isabelle-theory-build-github-ac… #3

Sign in to view logs

Update github action to use cplaursen/isabelle-theory-build-github-ac…

Update github action to use cplaursen/isabelle-theory-build-github-ac… #3

Re-run triggered May 28, 2025 20:19
@cplaursencplaursen
7ddeff6
main
Status Failure
Total duration 1m 49s
Artifacts –

build_2025.yml

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

Annotations

1 error
Build Theory
Process completed with exit code 1.