Skip to content

Actions: isabelle-utp/Z_Toolkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

No longer necessary to disable HOL-Algebra notation, as it's disabled… .github/workflows/build_2023.yml #32: Commit a081e1e pushed by simondfoster
1m 57s main
main
1m 57s
Removed a few more linter issues .github/workflows/build_2023.yml #31: Commit 27a865d pushed by simondfoster
3m 21s main
main
3m 21s
Cleared up most of the remaining linter warnings .github/workflows/build_2023.yml #30: Commit 48aa67c pushed by simondfoster
2m 18s main
main
2m 18s
Removed linter warnings .github/workflows/build_2023.yml #29: Commit f679dd2 pushed by simondfoster
3m 13s main
main
3m 13s
Removed more linter issues .github/workflows/build_2023.yml #28: Commit e3baae1 pushed by simondfoster
2m 10s main
main
2m 10s
Fixed some linter issues .github/workflows/build_2023.yml #27: Commit 1e2168c pushed by simondfoster
2m 21s main
main
2m 21s
Added Jim to the author list .github/workflows/build_2023.yml #26: Commit 36ae909 pushed by simondfoster
2m 43s main
main
2m 43s
Removed remaining unrestricted autos .github/workflows/build_2023.yml #25: Commit be8c5e5 pushed by simondfoster
53m 57s main
main
53m 57s
Removed unrestricted autos from most theories .github/workflows/build_2023.yml #24: Commit 9dfe26e pushed by simondfoster
1m 47s main
main
1m 47s
Removed some non-terminal autos .github/workflows/build_2023.yml #23: Commit 221e56d pushed by simondfoster
2m 53s main
main
2m 53s
Rejigged a proof for the linter .github/workflows/build_2023.yml #22: Commit e967fef pushed by simondfoster
2m 34s main
main
2m 34s
Remove a few subst proofs .github/workflows/build_2023.yml #21: Commit 0e956ca pushed by simondfoster
3m 8s main
main
3m 8s
Final few changes to Z Toolkit for submission .github/workflows/build_2023.yml #20: Commit e76559e pushed by simondfoster
3m 33s main
main
3m 33s
Further clean-ups, and resolved a duplicate name .github/workflows/build_2023.yml #19: Commit c047937 pushed by simondfoster
1m 47s main
main
1m 47s
Clean-up in preparation for submission to AFP .github/workflows/build_2023.yml #18: Commit 0de3952 pushed by simondfoster
2m 53s main
main
2m 53s
Adaptations for Isabelle2025 .github/workflows/build_2023.yml #17: Commit 30c06e3 pushed by simondfoster
2m 2s main
main
2m 2s
Adaptations for Isabelle2025 .github/workflows/build_2023.yml #16: Commit 30c06e3 pushed by simondfoster
1m 46s isabelle2025
isabelle2025
1m 46s
.github/workflows/build_2023.yml .github/workflows/build_2023.yml #15: by simondfoster
3m 13s main
main
3m 13s
Removed references to theories now in Circus_Toolkit .github/workflows/build_2023.yml #14: Commit 91e9bee pushed by simondfoster
1m 46s main
main
1m 46s