Skip to content

Actions: NeuralNetworkVerification/Marabou

Actions

clang-format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
clang-format-check.yml
254 workflow runs
254 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed bug in node in command-line ONNX parser clang-format Check #258: Pull request #858 synchronize by MatthewDaggitt
January 24, 2025 08:29 2m 15s tensor-assertion-error
tensor-assertion-error
January 24, 2025 08:29 2m 15s
Fix formatting issues clang-format Check #257: Commit 8e6db4b pushed by MatthewDaggitt
January 24, 2025 08:29 2m 15s tensor-assertion-error
tensor-assertion-error
January 24, 2025 08:29 2m 15s
Fixed bug in node in command-line ONNX parser clang-format Check #256: Pull request #858 opened by MatthewDaggitt
January 24, 2025 08:13 2m 20s tensor-assertion-error
tensor-assertion-error
January 24, 2025 08:13 2m 20s
Fixed bug in node in command-line ONNX parser clang-format Check #255: Commit 4722a3a pushed by MatthewDaggitt
January 24, 2025 08:12 2m 25s tensor-assertion-error
tensor-assertion-error
January 24, 2025 08:12 2m 25s
Try to fix dangling reference flagged by CI clang-format Check #254: Pull request #857 opened by MatthewDaggitt
January 24, 2025 06:08 2m 20s dangling-reference
dangling-reference
January 24, 2025 06:08 2m 20s
Try to fix dangling reference flagged by CI clang-format Check #253: Commit 0e1728f pushed by MatthewDaggitt
January 24, 2025 06:07 2m 25s dangling-reference
dangling-reference
January 24, 2025 06:07 2m 25s
Implement BaBSR Branching Heuristic as a new Branching Strategy clang-format Check #252: Pull request #851 synchronize by liamjdavis
January 22, 2025 17:48 2m 23s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 22, 2025 17:48 2m 23s
Fixed deprecated constructors with templates (#855) clang-format Check #251: 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 clang-format Check #250: Pull request #851 synchronize by liamjdavis
January 17, 2025 20:04 2m 19s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 17, 2025 20:04 2m 19s
Implement BaBSR Branching Heuristic as a new Branching Strategy clang-format Check #249: Pull request #851 synchronize by liamjdavis
January 12, 2025 20:05 3m 6s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 12, 2025 20:05 3m 6s
Implement BaBSR Branching Heuristic as a new Branching Strategy clang-format Check #248: Pull request #851 synchronize by liamjdavis
January 12, 2025 05:58 3m 5s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 12, 2025 05:58 3m 5s
Implement BaBSR Branching Heuristic as a new Branching Strategy clang-format Check #247: Pull request #851 synchronize by liamjdavis
January 10, 2025 18:41 3m 2s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 10, 2025 18:41 3m 2s
Implement BaBSR Branching Heuristic as a new Branching Strategy clang-format Check #246: Pull request #851 synchronize by liamjdavis
January 10, 2025 08:49 3m 3s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
January 10, 2025 08:49 3m 3s
Implement BaBSR Branching Heuristic as a new Branching Strategy clang-format Check #245: Pull request #851 synchronize by liamjdavis
December 17, 2024 21:44 3m 2s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
December 17, 2024 21:44 3m 2s
Implement BaBSR Branching Heuristic as a new Branching Strategy clang-format Check #243: Pull request #851 opened by liamjdavis
December 11, 2024 18:14 3m 3s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
December 11, 2024 18:14 3m 3s
Backward forward algorithm clang-format Check #242: Pull request #845 synchronize by ido-shm-uel
December 5, 2024 08:37 3m 10s ido-shm-uel:Backward-Forward-Algorithm
ido-shm-uel:Backward-Forward-Algorithm
December 5, 2024 08:37 3m 10s
UNSAT certification statistics (#850) clang-format Check #241: Commit 9cf8189 pushed by omriisack
December 3, 2024 15:01 3m 31s master
master
December 3, 2024 15:01 3m 31s
Add UNSAT certification statistics clang-format Check #240: Pull request #850 synchronize by omriisack
December 3, 2024 10:17 2m 54s OmriIsacHUJI:master
OmriIsacHUJI:master
December 3, 2024 10:17 2m 54s
Add UNSAT certification statistics clang-format Check #239: Pull request #850 synchronize by omriisack
December 3, 2024 10:14 3m 6s OmriIsacHUJI:master
OmriIsacHUJI:master
December 3, 2024 10:14 3m 6s
Add UNSAT certification statistics clang-format Check #238: Pull request #850 opened by OmriIsacHUJI
December 1, 2024 10:27 2m 59s OmriIsacHUJI:master
OmriIsacHUJI:master
December 1, 2024 10:27 2m 59s
Bump onnx from 1.12.0 to 1.17.0 in /resources/onnx/layer-zoo clang-format Check #234: Pull request #847 opened by dependabot bot
October 23, 2024 17:41 3m 3s dependabot/pip/resources/onnx/layer-zoo/onnx-1.17.0
dependabot/pip/resources/onnx/layer-zoo/onnx-1.17.0
October 23, 2024 17:41 3m 3s
Bump onnx from 1.12.0 to 1.17.0 in /resources/onnx/layer-zoo clang-format Check #233: Commit 65a66dd pushed by dependabot bot
October 23, 2024 17:41 3m 3s dependabot/pip/resources/onnx/layer-zoo/onnx-1.17.0
dependabot/pip/resources/onnx/layer-zoo/onnx-1.17.0
October 23, 2024 17:41 3m 3s
Bump pypa/cibuildwheel from 2.20.0 to 2.21.3 clang-format Check #232: Pull request #846 opened by dependabot bot
October 14, 2024 16:09 3m 1s dependabot/github_actions/pypa/cibuildwheel-2.21.3
dependabot/github_actions/pypa/cibuildwheel-2.21.3
October 14, 2024 16:09 3m 1s
Bump pypa/cibuildwheel from 2.20.0 to 2.21.3 clang-format Check #231: Commit 7186cda pushed by dependabot bot
October 14, 2024 16:09 3m 1s dependabot/github_actions/pypa/cibuildwheel-2.21.3
dependabot/github_actions/pypa/cibuildwheel-2.21.3
October 14, 2024 16:09 3m 1s
Backward forward algorithm clang-format Check #230: Pull request #845 opened by ido-shm-uel
October 14, 2024 10:26 3m 10s ido-shm-uel:Backward-Forward-Algorithm
ido-shm-uel:Backward-Forward-Algorithm
October 14, 2024 10:26 3m 10s