Skip to content

Actions: JuliaReach/MathematicalSystems.jl

Actions

Spell check

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

#209 - Define state_matrix and affine_term for maps Spell check #49: Pull request #319 opened by schillic
January 11, 2025 11:01 11s schillic/209
schillic/209
January 11, 2025 11:01 11s
#189 - IdentityMultiple: restrict getindex to Integer Spell check #48: Pull request #318 opened by schillic
January 11, 2025 10:05 21s schillic/188_189
schillic/188_189
January 11, 2025 10:05 21s
IdentityMultiple: throw BoundsError for nonpositive index and use @boundscheck Spell check #47: Pull request #317 opened by schillic
January 10, 2025 22:59 16s schillc/boundserror
schillc/boundserror
January 10, 2025 22:59 16s
Count invalidations on latest Julia version Spell check #46: Pull request #316 opened by schillic
November 27, 2024 22:11 5m 17s schillic/invalidations
schillic/invalidations
November 27, 2024 22:11 5m 17s
CompatHelper: bump compat for LazySets to 3 for package docs, (keep existing compat) Spell check #45: Pull request #315 synchronize by schillic
November 21, 2024 00:44 12s compathelper/new_version/2024-11-21-00-44-14-293-02636036459
compathelper/new_version/2024-11-21-00-44-14-293-02636036459
November 21, 2024 00:44 12s
CompatHelper: bump compat for LazySets to 3 for package test, (keep existing compat) Spell check #44: Pull request #314 synchronize by schillic
November 21, 2024 00:43 11s compathelper/new_version/2024-11-21-00-43-37-465-02275516116
compathelper/new_version/2024-11-21-00-43-37-465-02275516116
November 21, 2024 00:43 11s
Bump codecov/codecov-action from 4 to 5 Spell check #43: Pull request #313 opened by dependabot bot
November 18, 2024 16:03 20s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 16:03 20s
Update documentation of _discretize Spell check #42: Pull request #312 synchronize by blegat
November 8, 2024 10:01 17s bl/exact
bl/exact
November 8, 2024 10:01 17s
Update documentation of _discretize Spell check #41: Pull request #312 opened by blegat
November 8, 2024 08:50 13s bl/exact
bl/exact
November 8, 2024 08:50 13s
Add commits since last release to README Spell check #40: Pull request #311 opened by schillic
October 19, 2024 08:04 12s schillic/readme
schillic/readme
October 19, 2024 08:04 12s
Fix invalidations CI run Spell check #39: Pull request #310 opened by schillic
October 18, 2024 21:43 23s schillic/invalidations
schillic/invalidations
October 18, 2024 21:43 23s
Aqua v0.8.9 tests only for local ambiguities Spell check #38: Pull request #309 opened by schillic
October 15, 2024 20:48 13s schillic/aqua
schillic/aqua
October 15, 2024 20:48 13s
Bump peter-evans/create-pull-request from 6 to 7 Spell check #37: Pull request #308 opened by dependabot bot
September 9, 2024 15:24 17s dependabot/github_actions/peter-evans/create-pull-request-7
dependabot/github_actions/peter-evans/create-pull-request-7
September 9, 2024 15:24 17s
v0.13.6 Spell check #36: Pull request #307 opened by schillic
August 1, 2024 14:57 16s schillic-patch-1
schillic-patch-1
August 1, 2024 14:57 16s
Add all system getters to IVP Spell check #35: Pull request #306 opened by schillic
July 28, 2024 12:24 15s schillic/getters
schillic/getters
July 28, 2024 12:24 15s
Export mapping Spell check #34: Pull request #305 synchronize by schillic
July 28, 2024 12:18 12s schillic/mapping
schillic/mapping
July 28, 2024 12:18 12s
Export mapping Spell check #33: Pull request #305 opened by schillic
July 28, 2024 12:12 13s schillic/mapping
schillic/mapping
July 28, 2024 12:12 13s
v0.13.5 Spell check #32: Pull request #304 opened by schillic
June 27, 2024 04:11 16s schillic-patch-1
schillic-patch-1
June 27, 2024 04:11 16s
Add JuliaHub and PkgEval badges Spell check #31: Pull request #303 opened by schillic
June 2, 2024 20:40 12s schillic-patch-1
schillic-patch-1
June 2, 2024 20:40 12s
Bump julia-actions/cache from 1 to 2 Spell check #30: Pull request #302 opened by dependabot bot
May 6, 2024 15:55 16s dependabot/github_actions/julia-actions/cache-2
dependabot/github_actions/julia-actions/cache-2
May 6, 2024 15:55 16s
Add missing space in message Spell check #29: Pull request #301 opened by schillic
April 23, 2024 12:14 19s schillic-patch-1
schillic-patch-1
April 23, 2024 12:14 19s
Remove unreachable code Spell check #28: Pull request #300 opened by schillic
April 6, 2024 09:50 16s schillic/coverage
schillic/coverage
April 6, 2024 09:50 16s
Exclude line from coverage Spell check #27: Pull request #299 opened by schillic
April 6, 2024 08:43 11s schillic/coverage
schillic/coverage
April 6, 2024 08:43 11s
Bump julia-actions/setup-julia from 1 to 2 Spell check #26: Pull request #298 opened by dependabot bot
April 1, 2024 15:43 14s dependabot/github_actions/julia-actions/setup-julia-2
dependabot/github_actions/julia-actions/setup-julia-2
April 1, 2024 15:43 14s
Collect usings and fix import Spell check #25: Pull request #296 synchronize by schillic
March 12, 2024 19:16 13s schillic/using
schillic/using
March 12, 2024 19:16 13s