Skip to content

Actions: JuliaReach/ClosedLoopReachability.jl

Actions

Spell check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
spell-check.yml
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Count invalidations on latest Julia version Spell check #53: Pull request #409 opened by schillic
November 27, 2024 22:11 16s schillic/invalidations
schillic/invalidations
November 27, 2024 22:11 16s
Bump LazySets v3 and ReachabilityAnalysis v0.27 Spell check #52: Pull request #408 opened by schillic
November 21, 2024 20:15 13s schillic/bump
schillic/bump
November 21, 2024 20:15 13s
Make matrices in Airplane model type-stable Spell check #51: Pull request #407 opened by schillic
November 21, 2024 19:40 14s schillic/type
schillic/type
November 21, 2024 19:40 14s
CompatHelper: bump compat for LazySets to 3, (keep existing compat) Spell check #50: Pull request #406 synchronize by schillic
November 21, 2024 01:40 12s compathelper/new_version/2024-11-21-01-40-34-395-02589835165
compathelper/new_version/2024-11-21-01-40-34-395-02589835165
November 21, 2024 01:40 12s
Bump codecov/codecov-action from 4 to 5 Spell check #49: Pull request #405 opened by dependabot bot
November 18, 2024 06:57 13s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 06:57 13s
Add commits since last release to README Spell check #48: Pull request #404 opened by schillic
October 19, 2024 08:03 13s schillic/readme
schillic/readme
October 19, 2024 08:03 13s
Fix invalidations CI run Spell check #47: Pull request #403 opened by schillic
October 18, 2024 21:39 13s schillic/invalidations
schillic/invalidations
October 18, 2024 21:39 13s
Aqua v0.8.9 tests only for local ambiguities Spell check #46: Pull request #402 opened by schillic
October 15, 2024 20:42 19s schillic/aqua
schillic/aqua
October 15, 2024 20:42 19s
Bump peter-evans/create-pull-request from 6 to 7 Spell check #45: Pull request #401 opened by dependabot bot
September 9, 2024 06:12 11s dependabot/github_actions/peter-evans/create-pull-request-7
dependabot/github_actions/peter-evans/create-pull-request-7
September 9, 2024 06:12 11s
Use LazySets v2.14 and allow ReachabilityBase v0.3 Spell check #44: Pull request #400 opened by schillic
June 28, 2024 07:30 17s schillic/RB
schillic/RB
June 28, 2024 07:30 17s
v0.6.0 Spell check #43: Pull request #397 opened by schillic
June 3, 2024 07:08 13s schillic-patch-1
schillic-patch-1
June 3, 2024 07:08 13s
Add JuliaHub and PkgEval badges Spell check #42: Pull request #396 opened by schillic
June 2, 2024 20:39 11s schillic-patch-1
schillic-patch-1
June 2, 2024 20:39 11s
Allow ReachabilityAnalysis v0.26 Spell check #41: Pull request #395 opened by schillic
June 2, 2024 19:50 22s schillic/RA_v0.26
schillic/RA_v0.26
June 2, 2024 19:50 22s
Update models Spell check #40: Pull request #394 synchronize by schillic
June 1, 2024 21:05 12s schillic/models
schillic/models
June 1, 2024 21:05 12s
Update models Spell check #39: Pull request #394 opened by schillic
June 1, 2024 20:11 12s schillic/models
schillic/models
June 1, 2024 20:11 12s
Bump julia-actions/cache from 1 to 2 Spell check #38: Pull request #393 opened by dependabot bot
May 6, 2024 06:59 17s dependabot/github_actions/julia-actions/cache-2
dependabot/github_actions/julia-actions/cache-2
May 6, 2024 06:59 17s
Add getindex, length, solutions for solutions; remove solution Spell check #37: Pull request #392 opened by schillic
May 4, 2024 09:06 15s schillic/getindex
schillic/getindex
May 4, 2024 09:06 15s
Better plot of reachable states in models Spell check #36: Pull request #391 opened by schillic
April 28, 2024 19:18 14s schillic/plots
schillic/plots
April 28, 2024 19:18 14s
Fix _project_oa Spell check #35: Pull request #390 opened by schillic
April 27, 2024 10:05 16s schillic/fix
schillic/fix
April 27, 2024 10:05 16s
Fix commented savefig command in models Spell check #34: Pull request #388 opened by schillic
April 11, 2024 18:32 15s schillic/savefig
schillic/savefig
April 11, 2024 18:32 15s
Better plotting of ACC results Spell check #33: Pull request #387 opened by schillic
April 10, 2024 21:02 12s schillic/acc_plots
schillic/acc_plots
April 10, 2024 21:02 12s
Replace DifferentialEquations by OrdinaryDiffEq Spell check #32: Pull request #385 synchronize by schillic
April 10, 2024 20:26 13s schillic/ODE
schillic/ODE
April 10, 2024 20:26 13s
ReachabilityAnalysis v0.25 Spell check #31: Pull request #386 opened by schillic
April 10, 2024 20:10 13s schillic/RA
schillic/RA
April 10, 2024 20:10 13s
Replace DifferentialEquations by OrdinaryDiffEq Spell check #30: Pull request #385 opened by schillic
April 10, 2024 18:57 1m 58s schillic/ODE
schillic/ODE
April 10, 2024 18:57 1m 58s
Revise plots for models Spell check #29: Pull request #384 synchronize by schillic
April 9, 2024 16:38 17s schillic/plots
schillic/plots
April 9, 2024 16:38 17s