Skip to content

Actions: JuliaReach/MathematicalSystems.jl

Spell check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Collect usings and fix import
Spell check #24: Pull request #296 synchronize by schillic
March 12, 2024 19:15 15s schillic/using
March 12, 2024 19:15 15s
Remove precompile statement
Spell check #23: Pull request #297 opened by schillic
March 12, 2024 18:57 17s schillic/precompile
March 12, 2024 18:57 17s
Collect usings and fix import
Spell check #22: Pull request #296 opened by schillic
March 12, 2024 18:55 13s schillic/using
March 12, 2024 18:55 13s
Fix invalid character
Spell check #21: Pull request #294 opened by schillic
March 10, 2024 08:08 17s schillic/invalid
March 10, 2024 08:08 17s
Use eachindex instead of 1:length
Spell check #20: Pull request #293 opened by schillic
March 9, 2024 09:26 15s schillic/length
March 9, 2024 09:26 15s
Turn show into test
Spell check #19: Pull request #292 opened by schillic
March 5, 2024 13:21 17s schillic/test
March 5, 2024 13:21 17s
Fix unbound args
Spell check #18: Pull request #288 synchronize by schillic
March 4, 2024 16:36 13s schillic/284
March 4, 2024 16:36 13s
Define helper functions in tests only once
Spell check #17: Pull request #291 opened by schillic
March 2, 2024 14:27 15s schillic/test_helper
March 2, 2024 14:27 15s
Fix ambiguities with LinearAlgebra
Spell check #16: Pull request #290 synchronize by schillic
March 2, 2024 12:24 13s schillic/283
March 2, 2024 12:24 13s
Fix ambiguities with LinearAlgebra
Spell check #15: Pull request #290 opened by schillic
March 2, 2024 12:20 15s schillic/283
March 2, 2024 12:20 15s
Rename sort -> _sort
Spell check #14: Pull request #289 opened by schillic
March 2, 2024 11:57 12s schillic/282
March 2, 2024 11:57 12s
Fix unbound args
Spell check #13: Pull request #288 opened by schillic
March 2, 2024 10:52 17s schillic/284
March 2, 2024 10:52 17s
Remove unused variables and type parameters
Spell check #12: Pull request #287 opened by schillic
March 1, 2024 21:42 13s schillic/unused
March 1, 2024 21:42 13s
Add Aqua badge
Spell check #11: Pull request #286 opened by schillic
February 29, 2024 11:34 34s schillic/aqua
February 29, 2024 11:34 34s
Fix Codecov
Spell check #10: Pull request #285 opened by schillic
February 29, 2024 11:34 27s schillic/codecov
February 29, 2024 11:34 27s
Run Aqua in tests and fix problems
Spell check #9: Pull request #279 synchronize by schillic
February 27, 2024 08:36 13s schillic/aqua
February 27, 2024 08:36 13s
Replace $ with double backticks
Spell check #8: Pull request #281 opened by schillic
February 25, 2024 12:24 14s schillic/dollar
February 25, 2024 12:24 14s
Run Aqua in tests and fix problems
Spell check #7: Pull request #279 synchronize by schillic
February 25, 2024 06:01 18s schillic/aqua
February 25, 2024 06:01 18s
Run Aqua in tests and fix problems
Spell check #6: Pull request #279 synchronize by schillic
February 25, 2024 05:32 14s schillic/aqua
February 25, 2024 05:32 14s
Run Aqua in tests and fix problems
Spell check #5: Pull request #279 synchronize by schillic
February 24, 2024 06:39 17s schillic/aqua
February 24, 2024 06:39 17s
Run Aqua in tests and fix problems
Spell check #4: Pull request #279 synchronize by schillic
February 23, 2024 23:13 14s schillic/aqua
February 23, 2024 23:13 14s
Require Julia v1.5
Spell check #3: Pull request #280 opened by schillic
February 23, 2024 21:12 16s schillic/v1.5
February 23, 2024 21:12 16s
Run Aqua in tests and fix problems
Spell check #2: Pull request #279 opened by schillic
February 23, 2024 20:56 20s schillic/aqua
February 23, 2024 20:56 20s
Revise CI scripts
Spell check #1: Pull request #278 opened by schillic
February 9, 2024 22:15 16s schillic/ci
February 9, 2024 22:15 16s