Skip to content

Actions: NeuralNetworkVerification/Marabou

Actions

Build wheels

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cibuildwheel.yml
460 workflow runs
460 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed bug in node in command-line ONNX parser Build wheels #549: Pull request #858 synchronize by MatthewDaggitt
January 24, 2025 08:29 6h 0m 28s tensor-assertion-error
tensor-assertion-error
January 24, 2025 08:29 6h 0m 28s
Fixed bug in node in command-line ONNX parser Build wheels #548: Pull request #858 opened by MatthewDaggitt
January 24, 2025 08:13 6h 0m 26s tensor-assertion-error
tensor-assertion-error
January 24, 2025 08:13 6h 0m 26s
Try to fix dangling reference flagged by CI Build wheels #547: Pull request #857 opened by MatthewDaggitt
January 24, 2025 06:08 6h 0m 29s dangling-reference
dangling-reference
January 24, 2025 06:08 6h 0m 29s
Implement BaBSR Branching Heuristic as a new Branching Strategy Build wheels #546: Pull request #851 synchronize by liamjdavis
January 22, 2025 17:48 55m 35s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 22, 2025 17:48 55m 35s
Build wheels Build wheels #545: Scheduled
January 20, 2025 07:02 54m 13s master
master
January 20, 2025 07:02 54m 13s
Fixed deprecated constructors with templates (#855) Build wheels #544: Pull request #856 opened by Tomaqa
January 19, 2025 11:17 Action required Tomaqa:template-ctors
Tomaqa:template-ctors
January 19, 2025 11:17 Action required
Implement BaBSR Branching Heuristic as a new Branching Strategy Build wheels #543: Pull request #851 synchronize by liamjdavis
January 17, 2025 20:04 3h 39m 0s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 17, 2025 20:04 3h 39m 0s
Build wheels Build wheels #542: Scheduled
January 13, 2025 07:02 57m 26s master
master
January 13, 2025 07:02 57m 26s
Implement BaBSR Branching Heuristic as a new Branching Strategy Build wheels #541: Pull request #851 synchronize by liamjdavis
January 12, 2025 20:05 55m 59s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 12, 2025 20:05 55m 59s
Implement BaBSR Branching Heuristic as a new Branching Strategy Build wheels #540: Pull request #851 synchronize by liamjdavis
January 12, 2025 05:58 58m 1s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 12, 2025 05:58 58m 1s
Implement BaBSR Branching Heuristic as a new Branching Strategy Build wheels #539: Pull request #851 synchronize by liamjdavis
January 10, 2025 18:41 59m 13s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 10, 2025 18:41 59m 13s
Implement BaBSR Branching Heuristic as a new Branching Strategy Build wheels #538: Pull request #851 synchronize by liamjdavis
January 10, 2025 08:49 6m 47s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 10, 2025 08:49 6m 47s
Build wheels Build wheels #537: Scheduled
January 6, 2025 07:02 58m 5s master
master
January 6, 2025 07:02 58m 5s
Build wheels Build wheels #536: Scheduled
December 30, 2024 07:02 57m 19s master
master
December 30, 2024 07:02 57m 19s
Build wheels Build wheels #535: Scheduled
December 23, 2024 07:02 6h 0m 24s master
master
December 23, 2024 07:02 6h 0m 24s
Implement BaBSR Branching Heuristic as a new Branching Strategy Build wheels #534: Pull request #851 synchronize by liamjdavis
December 17, 2024 21:44 1h 2m 5s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
December 17, 2024 21:44 1h 2m 5s
Build wheels Build wheels #533: Scheduled
December 16, 2024 07:02 58m 15s master
master
December 16, 2024 07:02 58m 15s
Implement BaBSR Branching Heuristic as a new Branching Strategy Build wheels #531: Pull request #851 opened by liamjdavis
December 11, 2024 18:14 1h 23m 16s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
December 11, 2024 18:14 1h 23m 16s
Build wheels Build wheels #530: Scheduled
December 9, 2024 07:02 6h 0m 25s master
master
December 9, 2024 07:02 6h 0m 25s
Backward forward algorithm Build wheels #529: Pull request #845 synchronize by ido-shm-uel
December 5, 2024 08:37 58m 52s ido-shm-uel:Backward-Forward-Algorithm
ido-shm-uel:Backward-Forward-Algorithm
December 5, 2024 08:37 58m 52s
UNSAT certification statistics (#850) Build wheels #528: Commit 9cf8189 pushed by omriisack
December 3, 2024 15:01 58m 53s master
master
December 3, 2024 15:01 58m 53s
Add UNSAT certification statistics Build wheels #527: Pull request #850 synchronize by omriisack
December 3, 2024 10:17 6h 0m 30s OmriIsacHUJI:master
OmriIsacHUJI:master
December 3, 2024 10:17 6h 0m 30s
Add UNSAT certification statistics Build wheels #526: Pull request #850 synchronize by omriisack
December 3, 2024 10:14 6h 0m 27s OmriIsacHUJI:master
OmriIsacHUJI:master
December 3, 2024 10:14 6h 0m 27s
Build wheels Build wheels #525: Scheduled
December 2, 2024 07:02 6h 0m 25s master
master
December 2, 2024 07:02 6h 0m 25s
Add UNSAT certification statistics Build wheels #524: Pull request #850 opened by OmriIsacHUJI
December 1, 2024 10:27 56m 42s OmriIsacHUJI:master
OmriIsacHUJI:master
December 1, 2024 10:27 56m 42s