Skip to content

Actions: isabelle-utp/UTP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Began the process of factoring out assertional reasoning techniques, … .github/workflows/build_2021-1.yml #18: Commit 5286510 pushed by simondfoster
January 6, 2025 11:28 1m 40s main
main
January 6, 2025 11:28 1m 40s
Began the process of factoring out assertional reasoning techniques, … .github/workflows/build_2022.yml #17: Commit 5286510 pushed by simondfoster
January 6, 2025 11:25 2m 9s simplified
simplified
January 6, 2025 11:25 2m 9s
Began the process of factoring out assertional reasoning techniques, … .github/workflows/build_2021-1.yml #17: Commit 5286510 pushed by simondfoster
January 6, 2025 11:25 1m 49s simplified
simplified
January 6, 2025 11:25 1m 49s