Skip to content

Actions: JuliaReach/MathematicalSystems.jl

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

#209 - Define state_matrix and affine_term for maps
Test #46: Pull request #319 opened by schillic
January 11, 2025 11:01 11m 37s schillic/209
January 11, 2025 11:01 11m 37s
#189 - IdentityMultiple: restrict getindex to Integer
Test #45: Pull request #318 opened by schillic
January 11, 2025 10:05 14m 12s schillic/188_189
January 11, 2025 10:05 14m 12s
Count invalidations on latest Julia version
Test #43: Pull request #316 opened by schillic
November 27, 2024 22:11 5m 12s schillic/invalidations
November 27, 2024 22:11 5m 12s
Update documentation of _discretize
Test #39: Pull request #312 synchronize by blegat
November 8, 2024 10:01 16m 24s bl/exact
November 8, 2024 10:01 16m 24s
Update documentation of _discretize
Test #38: Pull request #312 opened by blegat
November 8, 2024 08:50 17m 5s bl/exact
November 8, 2024 08:50 17m 5s
Fix invalidations CI run
Test #37: Pull request #310 opened by schillic
October 18, 2024 21:43 29s schillic/invalidations
October 18, 2024 21:43 29s
Aqua v0.8.9 tests only for local ambiguities
Test #36: Pull request #309 opened by schillic
October 15, 2024 20:48 17m 58s schillic/aqua
October 15, 2024 20:48 17m 58s
v0.13.6
Test #34: Pull request #307 opened by schillic
August 1, 2024 14:57 11m 18s schillic-patch-1
August 1, 2024 14:57 11m 18s
Add all system getters to IVP
Test #33: Pull request #306 opened by schillic
July 28, 2024 12:24 9m 34s schillic/getters
July 28, 2024 12:24 9m 34s
Export mapping
Test #32: Pull request #305 synchronize by schillic
July 28, 2024 12:18 12m 49s schillic/mapping
July 28, 2024 12:18 12m 49s
Export mapping
Test #31: Pull request #305 opened by schillic
July 28, 2024 12:12 6m 52s schillic/mapping
July 28, 2024 12:12 6m 52s
v0.13.5
Test #30: Pull request #304 opened by schillic
June 27, 2024 04:11 8m 39s schillic-patch-1
June 27, 2024 04:11 8m 39s
Add missing space in message
Test #28: Pull request #301 opened by schillic
April 23, 2024 12:14 9m 36s schillic-patch-1
April 23, 2024 12:14 9m 36s
Remove unreachable code
Test #27: Pull request #300 opened by schillic
April 6, 2024 09:50 10m 40s schillic/coverage
April 6, 2024 09:50 10m 40s
Exclude line from coverage
Test #26: Pull request #299 opened by schillic
April 6, 2024 08:43 14m 25s schillic/coverage
April 6, 2024 08:43 14m 25s
Collect usings and fix import
Test #24: Pull request #296 synchronize by schillic
March 12, 2024 19:16 11m 12s schillic/using
March 12, 2024 19:16 11m 12s
Collect usings and fix import
Test #23: Pull request #296 synchronize by schillic
March 12, 2024 19:15 1m 58s schillic/using
March 12, 2024 19:15 1m 58s
Remove precompile statement
Test #22: Pull request #297 opened by schillic
March 12, 2024 18:57 8m 14s schillic/precompile
March 12, 2024 18:57 8m 14s