Skip to content

Actions: JuliaReach/ReachabilityModels.jl

Actions

Spell check

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump ReachabilityAnalysis to v0.27 Spell check #22: Pull request #135 synchronize by schillic
November 28, 2024 07:06 12s schillic/bump
schillic/bump
November 28, 2024 07:06 12s
Bump ReachabilityAnalysis to v0.27 Spell check #21: Pull request #135 opened by schillic
November 28, 2024 06:58 13s schillic/bump
schillic/bump
November 28, 2024 06:58 13s
Count invalidations on latest Julia version Spell check #20: Pull request #134 opened by schillic
November 27, 2024 22:12 3m 56s schillic/invalidations
schillic/invalidations
November 27, 2024 22:12 3m 56s
Fix invalidations CI run Spell check #19: Pull request #133 opened by schillic
October 18, 2024 21:36 1m 28s schillic/invalidations
schillic/invalidations
October 18, 2024 21:36 1m 28s
Aqua v0.8.9 tests only for local ambiguities Spell check #18: Pull request #132 opened by schillic
October 15, 2024 20:52 9m 31s schillic/aqua
schillic/aqua
October 15, 2024 20:52 9m 31s
Bump peter-evans/create-pull-request from 6 to 7 Spell check #17: Pull request #131 opened by dependabot bot
September 9, 2024 19:01 16s dependabot/github_actions/peter-evans/create-pull-request-7
dependabot/github_actions/peter-evans/create-pull-request-7
September 9, 2024 19:01 16s
Allow ReachabilityBase v0.3 Spell check #16: Pull request #130 reopened by schillic
June 28, 2024 06:40 12s schillic/RB
schillic/RB
June 28, 2024 06:40 12s
Allow ReachabilityBase v0.3 Spell check #15: Pull request #130 opened by schillic
June 27, 2024 03:14 17s schillic/RB
schillic/RB
June 27, 2024 03:14 17s
Allow new versions in docs build Spell check #14: Pull request #127 opened by schillic
June 2, 2024 20:22 13s schillic/bump
schillic/bump
June 2, 2024 20:22 13s
Allow ReachabilityAnalysis v0.26 Spell check #13: Pull request #126 opened by schillic
June 2, 2024 19:44 13s schillic-patch-1
schillic-patch-1
June 2, 2024 19:44 13s
Bump julia-actions/cache from 1 to 2 Spell check #12: Pull request #125 opened by dependabot bot
May 6, 2024 18:16 18s dependabot/github_actions/julia-actions/cache-2
dependabot/github_actions/julia-actions/cache-2
May 6, 2024 18:16 18s
ReachabilityAnalysis v0.25.0 Spell check #11: Pull request #124 opened by schillic
April 11, 2024 06:26 12s schillic/RA
schillic/RA
April 11, 2024 06:26 12s
Bump julia-actions/setup-julia from 1 to 2 Spell check #10: Pull request #121 opened by dependabot bot
April 1, 2024 18:33 18s dependabot/github_actions/julia-actions/setup-julia-2
dependabot/github_actions/julia-actions/setup-julia-2
April 1, 2024 18:33 18s
Revise code Spell check #9: Pull request #120 synchronize by schillic
March 10, 2024 07:38 16s schillic/revise
schillic/revise
March 10, 2024 07:38 16s
Revise code Spell check #8: Pull request #120 opened by schillic
March 9, 2024 23:04 15s schillic/revise
schillic/revise
March 9, 2024 23:04 15s
Add Aqua to tests and fix problems Spell check #7: Pull request #119 opened by schillic
February 28, 2024 04:39 11s schillic/aqua
schillic/aqua
February 28, 2024 04:39 11s
Prefix Hybridsystems. to avoid warnings Spell check #6: Pull request #117 opened by schillic
February 26, 2024 22:07 15s schillic/hs
schillic/hs
February 26, 2024 22:07 15s
Replace $ with double backticks Spell check #5: Pull request #116 opened by schillic
February 25, 2024 12:29 15s schillic/dollar
schillic/dollar
February 25, 2024 12:29 15s
Remove unused packages Spell check #4: Pull request #115 opened by schillic
February 23, 2024 07:49 13s schillic/project
schillic/project
February 23, 2024 07:49 13s
Support ReachabilityAnalysis 0.24 Spell check #3: Pull request #112 opened by schillic
February 10, 2024 12:13 18s schillic/RA
schillic/RA
February 10, 2024 12:13 18s
Outsource 'modelpath' to ReachabilityBase Spell check #2: Pull request #110 synchronize by schillic
February 9, 2024 20:44 15s schillic/modelpath
schillic/modelpath
February 9, 2024 20:44 15s
Revise CI scripts Spell check #1: Pull request #111 opened by schillic
February 9, 2024 20:20 12s schillic/ci
schillic/ci
February 9, 2024 20:20 12s