Skip to content

Actions: isabelle-utp/Z_Toolkit

Actions

.github/workflows/build_2023.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_2023.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added predicates for singleton partial functions, and additional code… .github/workflows/build_2023.yml #9: Commit e8a9306 pushed by simondfoster
September 10, 2024 10:24 14m 43s main
main
September 10, 2024 10:24 14m 43s
Small fix adding clearjunk .github/workflows/build_2023.yml #8: Commit e3545e7 pushed by simondfoster
July 2, 2024 13:48 14m 25s main
main
July 2, 2024 13:48 14m 25s
Added implementation of pfuse for associative lists .github/workflows/build_2023.yml #7: Commit 45eafee pushed by simondfoster
July 2, 2024 13:39 14m 51s main
main
July 2, 2024 13:39 14m 51s
Made channel instantiation overloaded, to allow for both single and m… .github/workflows/build_2023.yml #6: Commit 35ea2d3 pushed by simondfoster
June 21, 2024 11:00 14m 41s main
main
June 21, 2024 11:00 14m 41s
Added dot notation for channel sets .github/workflows/build_2023.yml #5: Commit ce22b5f pushed by simondfoster
June 21, 2024 09:42 15m 2s main
main
June 21, 2024 09:42 15m 2s
Added channel instantiation and enumerated renamings .github/workflows/build_2023.yml #4: Commit b595a72 pushed by simondfoster
June 4, 2024 10:49 14m 50s main
main
June 4, 2024 10:49 14m 50s
Added a command to help definition of (mutually) recursive action blocks .github/workflows/build_2023.yml #3: Commit 9e39128 pushed by simondfoster
June 3, 2024 20:54 14m 27s main
main
June 3, 2024 20:54 14m 27s
Added a utility theory for channels and events. .github/workflows/build_2023.yml #2: Commit e90bf86 pushed by simondfoster
May 24, 2024 09:00 15m 47s main
main
May 24, 2024 09:00 15m 47s
CI .github/workflows/build_2023.yml #1: Commit bcd7296 pushed by lexbailey
March 30, 2024 01:33 14m 24s main
main
March 30, 2024 01:33 14m 24s