Skip to content

Actions: JuliaReach/ReachabilityAnalysis.jl

Actions

Spell check

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minor fixes in comments Spell check #20: Pull request #798 opened by schillic
March 1, 2024 16:43 21s schillic/minor
schillic/minor
March 1, 2024 16:43 21s
Resolve warnings and outputs in tests Spell check #19: Pull request #797 opened by schillic
March 1, 2024 09:47 14s schillic/tests
schillic/tests
March 1, 2024 09:47 14s
Better script output (#!jl) in examples and unused packages removed from test/Project.toml Spell check #18: Pull request #796 opened by schillic
March 1, 2024 08:03 19s schillic/examples
schillic/examples
March 1, 2024 08:03 19s
Add Aqua badge Spell check #17: Pull request #795 opened by schillic
February 29, 2024 11:36 36s schillic/aqua
schillic/aqua
February 29, 2024 11:36 36s
Fix Codecov Spell check #16: Pull request #794 opened by schillic
February 29, 2024 11:35 21s schillic/codecov
schillic/codecov
February 29, 2024 11:35 21s
Fix formatting in docs page Spell check #15: Pull request #793 opened by schillic
February 28, 2024 12:04 13s schillic/docs
schillic/docs
February 28, 2024 12:04 13s
v0.24.1 Spell check #14: Pull request #791 opened by schillic
February 27, 2024 21:29 15s schillic-patch-1
schillic-patch-1
February 27, 2024 21:29 15s
Revise models Spell check #13: Pull request #783 synchronize by schillic
February 27, 2024 20:39 13s schillic/examples
schillic/examples
February 27, 2024 20:39 13s
Revise models Spell check #12: Pull request #783 synchronize by schillic
February 27, 2024 18:52 14s schillic/examples
schillic/examples
February 27, 2024 18:52 14s
Revise models Spell check #11: Pull request #783 synchronize by schillic
February 27, 2024 16:36 17s schillic/examples
schillic/examples
February 27, 2024 16:36 17s
Fix method-call errors in XFZ18 Spell check #10: Pull request #787 opened by schillic
February 27, 2024 09:26 19s schillic/XFZ18
schillic/XFZ18
February 27, 2024 09:26 19s
Replace $ with double backticks and use Unicode symbols Spell check #9: Pull request #786 opened by schillic
February 25, 2024 13:14 14s schillic/dollar
schillic/dollar
February 25, 2024 13:14 14s
Revise models Spell check #8: Pull request #783 synchronize by schillic
February 25, 2024 11:28 12s schillic/examples
schillic/examples
February 25, 2024 11:28 12s
Run Aqua in tests and fix problems Spell check #7: Pull request #785 synchronize by schillic
February 25, 2024 05:26 13s schillic/aqua
schillic/aqua
February 25, 2024 05:26 13s
Run Aqua in tests and fix problems Spell check #6: Pull request #785 opened by schillic
February 23, 2024 23:10 13s schillic/aqua
schillic/aqua
February 23, 2024 23:10 13s
Minor fixes Spell check #5: Pull request #784 opened by schillic
February 23, 2024 08:58 20s schillic/fixes
schillic/fixes
February 23, 2024 08:58 20s
Revise models Spell check #4: Pull request #783 opened by schillic
February 23, 2024 07:51 16s schillic/examples
schillic/examples
February 23, 2024 07:51 16s
v0.24.0 Spell check #3: Pull request #781 opened by schillic
February 10, 2024 08:11 11s schillic-patch-1-1
schillic-patch-1-1
February 10, 2024 08:11 11s
Use current_path from ReachabilityBase in examples and revise examples Spell check #2: Pull request #780 opened by schillic
February 9, 2024 20:27 16s schillic/models
schillic/models
February 9, 2024 20:27 16s
Revise CI scripts Spell check #1: Pull request #779 opened by schillic
February 9, 2024 20:00 20s schillic/ci
schillic/ci
February 9, 2024 20:00 20s