Skip to content

Actions: isabelle-utp/UTP-Designs

Actions

.github/workflows/build_2021-1.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_2021-1.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_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
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_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_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
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
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