Skip to content

Actions: NeuralNetworkVerification/Marabou

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
460 workflow runs
460 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #1212: Scheduled
February 3, 2025 07:03 14m 16s master
master
February 3, 2025 07:03 14m 16s
Fixed bug in node in command-line ONNX parser (#858) CI #1211: Commit 391e7ec pushed by MatthewDaggitt
January 28, 2025 03:28 14m 55s master
master
January 28, 2025 03:28 14m 55s
CI CI #1210: Scheduled
January 27, 2025 07:03 15m 0s master
master
January 27, 2025 07:03 15m 0s
Fixed bug in node in command-line ONNX parser CI #1209: Pull request #858 synchronize by MatthewDaggitt
January 24, 2025 08:29 14m 19s tensor-assertion-error
tensor-assertion-error
January 24, 2025 08:29 14m 19s
Fixed bug in node in command-line ONNX parser CI #1208: Pull request #858 opened by MatthewDaggitt
January 24, 2025 08:13 14m 33s tensor-assertion-error
tensor-assertion-error
January 24, 2025 08:13 14m 33s
Try to fix dangling reference flagged by CI CI #1207: Pull request #857 opened by MatthewDaggitt
January 24, 2025 06:08 16m 22s dangling-reference
dangling-reference
January 24, 2025 06:08 16m 22s
Implement BaBSR Branching Heuristic as a new Branching Strategy CI #1206: Pull request #851 synchronize by liamjdavis
January 22, 2025 17:48 15m 28s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 22, 2025 17:48 15m 28s
CI CI #1205: Scheduled
January 20, 2025 07:03 14m 54s master
master
January 20, 2025 07:03 14m 54s
Fixed deprecated constructors with templates (#855) CI #1204: Pull request #856 opened by Tomaqa
January 19, 2025 11:17 14m 15s Tomaqa:template-ctors
Tomaqa:template-ctors
January 19, 2025 11:17 14m 15s
Implement BaBSR Branching Heuristic as a new Branching Strategy CI #1203: Pull request #851 synchronize by liamjdavis
January 17, 2025 20:04 14m 18s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 17, 2025 20:04 14m 18s
CI CI #1202: Scheduled
January 13, 2025 07:03 20m 44s master
master
January 13, 2025 07:03 20m 44s
Implement BaBSR Branching Heuristic as a new Branching Strategy CI #1201: Pull request #851 synchronize by liamjdavis
January 12, 2025 20:05 14m 44s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 12, 2025 20:05 14m 44s
Implement BaBSR Branching Heuristic as a new Branching Strategy CI #1200: Pull request #851 synchronize by liamjdavis
January 12, 2025 05:58 20m 53s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 12, 2025 05:58 20m 53s
Implement BaBSR Branching Heuristic as a new Branching Strategy CI #1199: Pull request #851 synchronize by liamjdavis
January 10, 2025 18:41 21m 42s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 10, 2025 18:41 21m 42s
Implement BaBSR Branching Heuristic as a new Branching Strategy CI #1198: Pull request #851 synchronize by liamjdavis
January 10, 2025 08:49 5m 59s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 10, 2025 08:49 5m 59s
CI CI #1197: Scheduled
January 6, 2025 07:03 25m 53s master
master
January 6, 2025 07:03 25m 53s
CI CI #1196: Scheduled
December 30, 2024 07:03 21m 1s master
master
December 30, 2024 07:03 21m 1s
CI CI #1195: Scheduled
December 23, 2024 07:03 21m 7s master
master
December 23, 2024 07:03 21m 7s
Implement BaBSR Branching Heuristic as a new Branching Strategy CI #1194: Pull request #851 synchronize by liamjdavis
December 17, 2024 21:44 21m 44s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
December 17, 2024 21:44 21m 44s
CI CI #1193: Scheduled
December 16, 2024 07:04 3h 6m 8s master
master
December 16, 2024 07:04 3h 6m 8s
Implement BaBSR Branching Heuristic as a new Branching Strategy CI #1191: Pull request #851 opened by liamjdavis
December 11, 2024 18:14 21m 15s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
December 11, 2024 18:14 21m 15s
CI CI #1190: Scheduled
December 9, 2024 07:04 7m 58s master
master
December 9, 2024 07:04 7m 58s
Backward forward algorithm CI #1189: Pull request #845 synchronize by ido-shm-uel
December 5, 2024 08:37 11m 11s ido-shm-uel:Backward-Forward-Algorithm
ido-shm-uel:Backward-Forward-Algorithm
December 5, 2024 08:37 11m 11s
UNSAT certification statistics (#850) CI #1188: Commit 9cf8189 pushed by omriisack
December 3, 2024 15:01 2h 9m 52s master
master
December 3, 2024 15:01 2h 9m 52s
Add UNSAT certification statistics CI #1187: Pull request #850 synchronize by omriisack
December 3, 2024 10:17 38m 39s OmriIsacHUJI:master
OmriIsacHUJI:master
December 3, 2024 10:17 38m 39s