Skip to content

Actions: JuliaReach/NeuralNetworkReachability.jl

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pull-request.yml
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow Polyhedra v0.8 and CDDLib v0.10 in tests Test #42: Pull request #47 opened by schillic
January 16, 2025 08:58 16m 6s schillic/bump
schillic/bump
January 16, 2025 08:58 16m 6s
CompatHelper: bump compat for Polyhedra to 0.8 for package test, (keep existing compat) Test #41: Pull request #46 synchronize by schillic
January 16, 2025 01:03 9m 32s compathelper/new_version/2025-01-16-01-02-59-584-01902374819
compathelper/new_version/2025-01-16-01-02-59-584-01902374819
January 16, 2025 01:03 9m 32s
CompatHelper: bump compat for CDDLib to 0.10 for package test, (keep existing compat) Test #40: Pull request #45 synchronize by schillic
January 16, 2025 01:03 11m 26s compathelper/new_version/2025-01-16-01-02-54-447-00599035602
compathelper/new_version/2025-01-16-01-02-54-447-00599035602
January 16, 2025 01:03 11m 26s
CompatHelper: bump compat for IntervalConstraintProgramming to 0.14 for package test, (keep existing compat) Test #39: Pull request #44 synchronize by schillic
December 9, 2024 01:12 8m 58s compathelper/new_version/2024-12-09-01-12-21-464-00537022931
compathelper/new_version/2024-12-09-01-12-21-464-00537022931
December 9, 2024 01:12 8m 58s
Count invalidations on latest Julia version Test #38: Pull request #43 opened by schillic
November 27, 2024 22:10 2m 57s schillic/invalidations
schillic/invalidations
November 27, 2024 22:10 2m 57s
Use LazySets v3 Test #37: Pull request #42 synchronize by schillic
November 21, 2024 10:08 14m 32s schillic/lazysets3
schillic/lazysets3
November 21, 2024 10:08 14m 32s
Use LazySets v3 Test #36: Pull request #42 synchronize by schillic
November 21, 2024 09:56 12m 0s schillic/lazysets3
schillic/lazysets3
November 21, 2024 09:56 12m 0s
Use LazySets v3 Test #35: Pull request #42 opened by schillic
November 21, 2024 08:01 21m 31s schillic/lazysets3
schillic/lazysets3
November 21, 2024 08:01 21m 31s
CompatHelper: bump compat for LazySets to 3 for package test, (keep existing compat) Test #34: Pull request #41 synchronize by schillic
November 21, 2024 01:07 9m 45s compathelper/new_version/2024-11-21-01-07-22-879-04177317454
compathelper/new_version/2024-11-21-01-07-22-879-04177317454
November 21, 2024 01:07 9m 45s
CompatHelper: bump compat for LazySets to 3, (keep existing compat) Test #33: Pull request #40 synchronize by schillic
November 21, 2024 01:06 21m 16s compathelper/new_version/2024-11-21-01-06-47-008-02345028659
compathelper/new_version/2024-11-21-01-06-47-008-02345028659
November 21, 2024 01:06 21m 16s
Bump codecov/codecov-action from 4 to 5 Test #32: Pull request #39 opened by dependabot bot
November 18, 2024 19:40 22m 39s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 19:40 22m 39s
Fix invalidations CI run Test #31: Pull request #37 opened by schillic
October 18, 2024 21:36 1m 35s schillic/invalidations
schillic/invalidations
October 18, 2024 21:36 1m 35s
Aqua v0.8.9 tests only for local ambiguities Test #30: Pull request #36 opened by schillic
October 15, 2024 20:49 18m 1s schillic/aqua
schillic/aqua
October 15, 2024 20:49 18m 1s
Bump peter-evans/create-pull-request from 6 to 7 Test #29: Pull request #35 opened by dependabot bot
September 9, 2024 19:32 19m 40s dependabot/github_actions/peter-evans/create-pull-request-7
dependabot/github_actions/peter-evans/create-pull-request-7
September 9, 2024 19:32 19m 40s
Unify BoxForward for monotonic activations Test #28: Pull request #34 opened by schillic
July 5, 2024 11:30 10m 56s schillic/boxforward
schillic/boxforward
July 5, 2024 11:30 10m 56s
Add option for shorter tests and use in PkgEval Test #27: Pull request #33 synchronize by schillic
July 5, 2024 10:30 18m 13s schillic/test_short
schillic/test_short
July 5, 2024 10:30 18m 13s
Add option for shorter tests and use in PkgEval Test #26: Pull request #33 synchronize by schillic
July 5, 2024 09:00 13m 50s schillic/test_short
schillic/test_short
July 5, 2024 09:00 13m 50s
Add option for shorter tests and use in PkgEval Test #25: Pull request #33 synchronize by schillic
July 5, 2024 08:45 12m 38s schillic/test_short
schillic/test_short
July 5, 2024 08:45 12m 38s
Add option for shorter tests and use in PkgEval Test #24: Pull request #33 synchronize by schillic
July 5, 2024 08:19 15m 24s schillic/test_short
schillic/test_short
July 5, 2024 08:19 15m 24s
Add option for shorter tests and use in PkgEval Test #23: Pull request #33 synchronize by schillic
July 5, 2024 08:02 18m 9s schillic/test_short
schillic/test_short
July 5, 2024 08:02 18m 9s
Add option for shorter tests and use in PkgEval Test #22: Pull request #33 opened by schillic
July 5, 2024 07:54 7m 53s schillic/test_short
schillic/test_short
July 5, 2024 07:54 7m 53s
Use LazySets v2.14 and allow ReachabilityBase v0.3 Test #21: Pull request #32 opened by schillic
June 28, 2024 06:44 16m 23s schillic/RB
schillic/RB
June 28, 2024 06:44 16m 23s
Allow ReachabilityAnalysis v0.26 Test #20: Pull request #29 opened by schillic
June 2, 2024 19:45 15m 27s schillic-patch-1
schillic-patch-1
June 2, 2024 19:45 15m 27s
Format code and v0.1.2 Test #19: Pull request #28 opened by schillic
May 25, 2024 20:34 11m 32s schillic/update
schillic/update
May 25, 2024 20:34 11m 32s
Add partial PolyZonoForward algorithm Test #18: Pull request #26 synchronize by schillic
May 25, 2024 20:07 14m 58s schillic/PolyZonoForward
schillic/PolyZonoForward
May 25, 2024 20:07 14m 58s