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

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
Added the design power law .github/workflows/build_2021-1.yml #7: Commit 8c7e4d2 pushed by simondfoster
November 1, 2023 11:55 25m 20s main
main
November 1, 2023 11:55 25m 20s
Added the design power law .github/workflows/build_2022.yml #7: Commit 8c7e4d2 pushed by simondfoster
November 1, 2023 11:55 25m 45s main
main
November 1, 2023 11:55 25m 45s
Conditional laws .github/workflows/build_2022.yml #6: Commit d915bac pushed by simondfoster
October 17, 2023 13:08 29m 34s main
main
October 17, 2023 13:08 29m 34s
Conditional laws .github/workflows/build_2021-1.yml #6: Commit d915bac pushed by simondfoster
October 17, 2023 13:08 28m 13s main
main
October 17, 2023 13:08 28m 13s