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

Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1133: Pull request #827 synchronize by wu-haoze
August 22, 2024 23:25 11m 42s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 23:25 11m 42s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1132: Pull request #827 synchronize by wu-haoze
August 22, 2024 23:23 23m 43s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 23:23 23m 43s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1131: Pull request #827 synchronize by wu-haoze
August 22, 2024 23:14 23m 28s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 23:14 23m 28s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1130: Pull request #827 synchronize by wu-haoze
August 22, 2024 20:56 24m 38s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 20:56 24m 38s
Incremental solving infrastructure CI #1129: Pull request #831 synchronize by wu-haoze
August 22, 2024 19:55 1m 25s wu-haoze:inc-marabou
wu-haoze:inc-marabou
August 22, 2024 19:55 1m 25s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1128: Pull request #827 synchronize by wu-haoze
August 22, 2024 19:54 21m 0s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 19:54 21m 0s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1127: Pull request #827 synchronize by wu-haoze
August 22, 2024 19:53 20m 52s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 19:53 20m 52s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1126: Pull request #827 synchronize by wu-haoze
August 22, 2024 19:51 21m 22s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 19:51 21m 22s
Incremental solving infrastructure CI #1125: Pull request #831 synchronize by wu-haoze
August 22, 2024 19:35 16m 13s wu-haoze:inc-marabou
wu-haoze:inc-marabou
August 22, 2024 19:35 16m 13s
Incremental solving infrastructure CI #1124: Pull request #831 synchronize by wu-haoze
August 22, 2024 19:28 1m 0s wu-haoze:inc-marabou
wu-haoze:inc-marabou
August 22, 2024 19:28 1m 0s
Incremental solving infrastructure CI #1123: Pull request #831 opened by wu-haoze
August 22, 2024 19:22 59s wu-haoze:inc-marabou
wu-haoze:inc-marabou
August 22, 2024 19:22 59s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1122: Pull request #827 synchronize by wu-haoze
August 22, 2024 19:03 28m 25s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 19:03 28m 25s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1121: Pull request #827 synchronize by wu-haoze
August 22, 2024 19:00 12m 10s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 19:00 12m 10s
CI CI #1120: Scheduled
August 19, 2024 07:03 1m 25s master
master
August 19, 2024 07:03 1m 25s
Change initialization strategy in DeepSoI if NLR is not fully constructed CI #1119: Pull request #829 opened by wu-haoze
August 13, 2024 17:50 1m 23s wu-haoze:fix-soi-nlr
wu-haoze:fix-soi-nlr
August 13, 2024 17:50 1m 23s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1118: Pull request #827 synchronize by wu-haoze
August 12, 2024 21:34 57s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 12, 2024 21:34 57s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1117: Pull request #827 synchronize by wu-haoze
August 12, 2024 21:30 52s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 12, 2024 21:30 52s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1116: Pull request #827 synchronize by wu-haoze
August 12, 2024 21:22 1m 19s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 12, 2024 21:22 1m 19s
Bump onnx from 1.12.0 to 1.16.0 in /resources/onnx/layer-zoo CI #1115: Pull request #828 opened by dependabot bot
August 12, 2024 21:21 1m 23s dependabot/pip/resources/onnx/layer-zoo/onnx-1.16.0
dependabot/pip/resources/onnx/layer-zoo/onnx-1.16.0
August 12, 2024 21:21 1m 23s
Bump pypa/cibuildwheel from 2.17.0 to 2.20.0 (#826) CI #1114: Commit 1905555 pushed by wu-haoze
August 12, 2024 21:20 1m 21s master
master
August 12, 2024 21:20 1m 21s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1113: Pull request #827 synchronize by wu-haoze
August 12, 2024 21:14 1m 34s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 12, 2024 21:14 1m 34s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1112: Pull request #827 synchronize by wu-haoze
August 12, 2024 21:13 1m 20s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 12, 2024 21:13 1m 20s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1111: Pull request #827 synchronize by wu-haoze
August 12, 2024 21:11 1m 19s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 12, 2024 21:11 1m 19s
Bump softprops/action-gh-release from 1 to 2 (#778) CI #1110: Commit 4b6c60e pushed by wu-haoze
August 12, 2024 20:58 1m 19s master
master
August 12, 2024 20:58 1m 19s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests CI #1109: Pull request #827 opened by wu-haoze
August 12, 2024 20:50 1m 22s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 12, 2024 20:50 1m 22s