Skip to content

Actions: JuliaReach/ReachabilityModels.jl

Actions

Doc preview cleanup

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow ReachabilityAnalysis v0.33
Doc preview cleanup #59: Pull request #170 closed by schillic
12s
Use ubuntu-latest for tests again
Doc preview cleanup #58: Pull request #167 closed by schillic
11s
Upgrade invalidations CI script
Doc preview cleanup #57: Pull request #166 closed by schillic
2m 10s
Allow ReachabilityAnalysis v0.32
Doc preview cleanup #54: Pull request #165 closed by schillic
51s
Automatic JuliaFormatter.jl run
Doc preview cleanup #53: Pull request #162 closed by schillic
22s
Bump actions/checkout from 6 to 7
Doc preview cleanup #52: Pull request #161 closed by schillic
31s
Allow ReachabilityAnalysis v0.31.0
Doc preview cleanup #51: Pull request #160 closed by schillic
31s
Run CI in latest v1.12 again
Doc preview cleanup #49: Pull request #158 closed by schillic
16s
Bump julia-actions/cache from 2 to 3
Doc preview cleanup #47: Pull request #156 closed by schillic
14s
Allow ModelingToolkit v11 in docs
Doc preview cleanup #42: Pull request #152 closed by schillic
10s
Use ubuntu-slim and v1.12.4 in CI
Doc preview cleanup #39: Pull request #148 closed by schillic
10s
Workaround for invalidations check
Doc preview cleanup #38: Pull request #147 closed by schillic
9s
Use ExplicitImports in tests
Doc preview cleanup #37: Pull request #146 closed by schillic
2m 17s