Skip to content

Actions: JuliaReach/ReachabilityModels.jl

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump ReachabilityAnalysis to v0.27
Test #17: Pull request #135 synchronize by schillic
November 28, 2024 07:06 15m 33s schillic/bump
November 28, 2024 07:06 15m 33s
Bump ReachabilityAnalysis to v0.27
Test #16: Pull request #135 opened by schillic
November 28, 2024 06:58 8m 17s schillic/bump
November 28, 2024 06:58 8m 17s
Count invalidations on latest Julia version
Test #15: Pull request #134 opened by schillic
November 27, 2024 22:12 3m 39s schillic/invalidations
November 27, 2024 22:12 3m 39s
Fix invalidations CI run
Test #14: Pull request #133 opened by schillic
October 18, 2024 21:36 1m 21s schillic/invalidations
October 18, 2024 21:36 1m 21s
Aqua v0.8.9 tests only for local ambiguities
Test #13: Pull request #132 opened by schillic
October 15, 2024 20:52 22m 8s schillic/aqua
October 15, 2024 20:52 22m 8s
Allow ReachabilityBase v0.3
Test #11: Pull request #130 reopened by schillic
June 28, 2024 06:40 13m 8s schillic/RB
June 28, 2024 06:40 13m 8s
Allow ReachabilityBase v0.3
Test #10: Pull request #130 opened by schillic
June 27, 2024 03:14 11m 38s schillic/RB
June 27, 2024 03:14 11m 38s
Allow new versions in docs build
Test #9: Pull request #127 opened by schillic
June 2, 2024 20:22 14m 7s schillic/bump
June 2, 2024 20:22 14m 7s
Allow ReachabilityAnalysis v0.26
Test #8: Pull request #126 opened by schillic
June 2, 2024 19:44 11m 53s schillic-patch-1
June 2, 2024 19:44 11m 53s
ReachabilityAnalysis v0.25.0
Test #6: Pull request #124 opened by schillic
April 11, 2024 06:26 14m 1s schillic/RA
April 11, 2024 06:26 14m 1s
Revise code
Test #4: Pull request #120 synchronize by schillic
March 10, 2024 07:38 14m 52s schillic/revise
March 10, 2024 07:38 14m 52s
Revise code
Test #3: Pull request #120 opened by schillic
March 9, 2024 23:04 14m 16s schillic/revise
March 9, 2024 23:04 14m 16s
fix Codecov
Test #2: Commit cf8366a pushed by schillic
February 29, 2024 10:20 Failure schillic/codecov
February 29, 2024 10:20 Failure
Add Aqua to tests and fix problems
Test #1: Pull request #119 opened by schillic
February 28, 2024 04:39 17m 52s schillic/aqua
February 28, 2024 04:39 17m 52s