Skip to content

Actions: isabelle-utp/UTP-Designs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added some commentary, and using alphabet extension. .github/workflows/build_2021-1.yml #14: Commit f00bbbd pushed by simondfoster
January 24, 2025 14:25 1m 46s main
main
January 24, 2025 14:25 1m 46s
Added some commentary, and using alphabet extension. .github/workflows/build_2022.yml #14: Commit f00bbbd pushed by simondfoster
January 24, 2025 14:25 1m 42s main
main
January 24, 2025 14:25 1m 42s
A bit more on alternation .github/workflows/build_2022.yml #13: Commit a5313bc pushed by simondfoster
January 21, 2025 13:48 1m 41s main
main
January 21, 2025 13:48 1m 41s
A bit more on alternation .github/workflows/build_2021-1.yml #13: Commit a5313bc pushed by simondfoster
January 21, 2025 13:48 2m 35s main
main
January 21, 2025 13:48 2m 35s
Modified design definition to remove e-brackets .github/workflows/build_2022.yml #12: Commit acc7fa4 pushed by simondfoster
January 14, 2025 17:06 5m 22s main
main
January 14, 2025 17:06 5m 22s
Modified design definition to remove e-brackets .github/workflows/build_2021-1.yml #12: Commit acc7fa4 pushed by simondfoster
January 14, 2025 17:06 1m 48s main
main
January 14, 2025 17:06 1m 48s
Proof and syntax fixes .github/workflows/build_2022.yml #11: Commit 1bd5f72 pushed by simondfoster
January 8, 2025 12:15 2m 2s main
main
January 8, 2025 12:15 2m 2s
Proof and syntax fixes .github/workflows/build_2021-1.yml #11: Commit 1bd5f72 pushed by simondfoster
January 8, 2025 12:15 3m 22s main
main
January 8, 2025 12:15 3m 22s
.github/workflows/build_2021-1.yml .github/workflows/build_2021-1.yml #10: by simondfoster
January 7, 2025 14:35 2m 17s main
main
January 7, 2025 14:35 2m 17s
.github/workflows/build_2022.yml .github/workflows/build_2022.yml #10: by simondfoster
January 7, 2025 14:35 1m 47s main
main
January 7, 2025 14:35 1m 47s
Completed a substantial portion of the port of UTP Designs. The imper… .github/workflows/build_2021-1.yml #9: Commit 3ce0395 pushed by simondfoster
January 6, 2025 15:58 1m 48s main
main
January 6, 2025 15:58 1m 48s
Completed a substantial portion of the port of UTP Designs. The imper… .github/workflows/build_2022.yml #9: Commit 3ce0395 pushed by simondfoster
January 6, 2025 15:58 1m 53s main
main
January 6, 2025 15:58 1m 53s
Fixed broken proof .github/workflows/build_2021-1.yml #8: Commit 298acc4 pushed by simondfoster
January 30, 2024 14:35 11m 58s main
main
January 30, 2024 14:35 11m 58s
Fixed broken proof .github/workflows/build_2022.yml #8: Commit 298acc4 pushed by simondfoster
January 30, 2024 14:35 11m 51s main
main
January 30, 2024 14:35 11m 51s