Skip to content

Actions: AsgerHB/GridShielding.jl

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump up version number why not
CI #22: Commit 5be320a pushed by AsgerHB
July 29, 2024 12:09 5m 25s main
July 29, 2024 12:09 5m 25s
July 3, 2024 12:38 2m 51s
Bump up version (this is probably long overdue)
CI #20: Commit e2ea24b pushed by AsgerHB
June 18, 2024 09:43 1m 10s main
June 18, 2024 09:43 1m 10s
Add isequal for partitions
CI #19: Commit 1e9abe0 pushed by AsgerHB
June 11, 2024 08:23 2m 55s main
June 11, 2024 08:23 2m 55s
April 22, 2024 09:15 3m 6s
Better error reporting
CI #17: Commit b448ad1 pushed by AsgerHB
March 27, 2024 15:28 2m 48s main
March 27, 2024 15:28 2m 48s
Fix the better way to export grid to UPPAAL
CI #16: Commit d4ac4cb pushed by AsgerHB
October 16, 2023 09:52 4m 25s main
October 16, 2023 09:52 4m 25s
Fix the better way to export grid to UPPAAL
CI #15: Commit 2cffe97 pushed by AsgerHB
October 11, 2023 07:41 4m 6s main
October 11, 2023 07:41 4m 6s
Cleanup Serialization.jl
CI #14: Commit 856300b pushed by AsgerHB
September 27, 2023 08:36 2m 52s main
September 27, 2023 08:36 2m 52s
September 27, 2023 07:00 3m 25s
Plots recipe for plotting bounds
CI #12: Commit d806295 pushed by AsgerHB
August 21, 2023 12:17 4m 46s main
August 21, 2023 12:17 4m 46s