Skip to content

Actions: isabelle-utp/UTP-Reactive

Actions

.github/workflows/build_2022.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_2022.yml
6 workflow runs
6 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update to iterated sequence notation .github/workflows/build_2022.yml #24: Commit b39c876 pushed by simondfoster
1m 38s main
main
1m 38s
R5 laws .github/workflows/build_2022.yml #23: Commit 9bee5ed pushed by simondfoster
1m 44s main
main
1m 44s
Changed how state precondition predicates are parsed .github/workflows/build_2022.yml #22: Commit de27f91 pushed by simondfoster
2m 32s main
main
2m 32s
Fixed the form of an indep lemma .github/workflows/build_2022.yml #21: Commit 949fe1b pushed by simondfoster
2m 0s main
main
2m 0s
Fixed some types, definitions, and parsing .github/workflows/build_2022.yml #20: Commit c9be9ea pushed by simondfoster
3m 17s main
main
3m 17s
Adaptations for Isabelle 2025 .github/workflows/build_2022.yml #19: Commit c99b49c pushed by simondfoster
1m 47s main
main
1m 47s