Skip to content

Actions: JuliaReach/LazySets.jl

Actions

Spell check

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix HPolytope constructor with old Symbolics version Spell check #333: Pull request #3651 opened by schillic
November 19, 2024 22:19 11s schillic/hpolytope
schillic/hpolytope
November 19, 2024 22:19 11s
Fix VPolygon constructor in pre-v1.9 versions Spell check #332: Pull request #3650 opened by schillic
November 19, 2024 21:29 15s schillic/vpolygon
schillic/vpolygon
November 19, 2024 21:29 15s
v3.0.0 Spell check #331: Pull request #3649 opened by schillic
November 19, 2024 16:55 15s schillic-patch-1
schillic-patch-1
November 19, 2024 16:55 15s
#3126 - Point in Polygon check Spell check #330: Pull request #3628 synchronize by schillic
November 18, 2024 16:48 10s schillic/3126
schillic/3126
November 18, 2024 16:48 10s
Bump codecov/codecov-action from 4 to 5 Spell check #329: Pull request #3648 opened by dependabot bot
November 18, 2024 12:42 16s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 12:42 16s
Update doctest for Julia v1.11 Spell check #328: Pull request #3647 opened by schillic
October 19, 2024 17:40 12s schillic/docs
schillic/docs
October 19, 2024 17:40 12s
Fix invalidations CI run Spell check #327: Pull request #3646 opened by schillic
October 18, 2024 21:36 44s schillic/invalidations
schillic/invalidations
October 18, 2024 21:36 44s
Aqua v0.8.9 tests only for local ambiguities Spell check #326: Pull request #3645 opened by schillic
October 15, 2024 20:46 16s schillic/aqua
schillic/aqua
October 15, 2024 20:46 16s
Let remove_redundant_constraints return an empty list if infeasible Spell check #325: Pull request #3623 synchronize by schillic
September 28, 2024 19:02 15s schillic/rrc
schillic/rrc
September 28, 2024 19:02 15s
Allow IntervalMatrices v0.11 in tests Spell check #324: Pull request #3643 opened by schillic
September 10, 2024 19:09 15s schillic/IM
schillic/IM
September 10, 2024 19:09 15s
Remove redundant convert methods Spell check #323: Pull request #3561 synchronize by schillic
September 9, 2024 15:02 1m 2s schillic/convert_AS
schillic/convert_AS
September 9, 2024 15:02 1m 2s
Rename function Spell check #322: Pull request #3641 opened by schillic
September 9, 2024 12:11 26s schillic/ispolyhedral
schillic/ispolyhedral
September 9, 2024 12:11 26s
Bump peter-evans/create-pull-request from 6 to 7 Spell check #321: Pull request #3640 opened by dependabot bot
September 9, 2024 12:04 16s dependabot/github_actions/peter-evans/create-pull-request-7
dependabot/github_actions/peter-evans/create-pull-request-7
September 9, 2024 12:04 16s
Remove unused minmax function Spell check #320: Pull request #3620 synchronize by schillic
September 7, 2024 05:41 14s schillic/minmax
schillic/minmax
September 7, 2024 05:41 14s
Add commits since last release to README Spell check #319: Pull request #3639 synchronize by schillic
August 25, 2024 05:29 12s schillic/readme
schillic/readme
August 25, 2024 05:29 12s
Add commits since last release to README Spell check #318: Pull request #3639 opened by schillic
August 24, 2024 07:50 13s schillic/readme
schillic/readme
August 24, 2024 07:50 13s
Split convert.jl into smaller files Spell check #317: Pull request #3618 synchronize by schillic
August 24, 2024 06:22 12s schillic/convert
schillic/convert
August 24, 2024 06:22 12s
Let remove_redundant_constraints return an empty list if infeasible Spell check #316: Pull request #3623 synchronize by schillic
August 24, 2024 06:20 12s schillic/rrc
schillic/rrc
August 24, 2024 06:20 12s
#3419 - Fast low/high/extrema for polyhedra Spell check #315: Pull request #3617 synchronize by schillic
August 24, 2024 06:18 15s schillic/3419
schillic/3419
August 24, 2024 06:18 15s
#3282 - Remove + and - methods for Interval Spell check #314: Pull request #3614 synchronize by schillic
August 24, 2024 06:13 15s schillic/3282
schillic/3282
August 24, 2024 06:13 15s
Remove RotatedHyperrectangle Spell check #313: Pull request #3592 synchronize by schillic
August 24, 2024 06:12 17s schillic/RotatedHyperrectangle
schillic/RotatedHyperrectangle
August 24, 2024 06:12 17s
Disallow box_approximation for unbounded sets Spell check #312: Pull request #3553 synchronize by schillic
August 24, 2024 06:11 15s schillic/box_approximation
schillic/box_approximation
August 24, 2024 06:11 15s
Adapt to Symbolics v6.1; allow SetProg v0.4 in tests Spell check #311: Pull request #3637 synchronize by schillic
August 17, 2024 07:12 12s schillic/setprog
schillic/setprog
August 17, 2024 07:12 12s
Adapt to Symbolics v6.1; allow SetProg v0.4 in tests Spell check #310: Pull request #3637 synchronize by schillic
August 17, 2024 06:49 14s schillic/setprog
schillic/setprog
August 17, 2024 06:49 14s
Adapt to Symbolics v6.1; allow SetProg v0.4 in tests Spell check #309: Pull request #3637 synchronize by schillic
August 14, 2024 08:43 13s schillic/setprog
schillic/setprog
August 14, 2024 08:43 13s