Skip to content

Actions: isabelle-utp/UTP-Designs

Actions

.github/workflows/build_2022.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_2022.yml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
.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_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_2022.yml #8: Commit 298acc4 pushed by simondfoster
January 30, 2024 14:35 11m 51s main
main
January 30, 2024 14:35 11m 51s