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

Incremental solving infrastructure clang-format Check #204: Pull request #831 synchronize by wu-haoze
August 23, 2024 23:08 3m 4s wu-haoze:inc-marabou
wu-haoze:inc-marabou
August 23, 2024 23:08 3m 4s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI… clang-format Check #203: Commit 9ff60ed pushed by wu-haoze
August 23, 2024 23:07 3m 12s master
master
August 23, 2024 23:07 3m 12s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #202: Pull request #827 synchronize by wu-haoze
August 23, 2024 03:37 2m 55s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 23, 2024 03:37 2m 55s
Incremental solving infrastructure clang-format Check #201: Pull request #831 synchronize by wu-haoze
August 23, 2024 03:27 2m 59s wu-haoze:inc-marabou
wu-haoze:inc-marabou
August 23, 2024 03:27 2m 59s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #200: Pull request #827 synchronize by wu-haoze
August 23, 2024 01:58 3m 0s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 23, 2024 01:58 3m 0s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #199: Pull request #827 synchronize by wu-haoze
August 22, 2024 23:51 2m 55s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 23:51 2m 55s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #198: Pull request #827 synchronize by wu-haoze
August 22, 2024 23:48 2m 56s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 23:48 2m 56s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #197: Pull request #827 synchronize by wu-haoze
August 22, 2024 23:43 2m 53s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 23:43 2m 53s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #196: Pull request #827 synchronize by wu-haoze
August 22, 2024 23:25 2m 54s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 23:25 2m 54s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #195: Pull request #827 synchronize by wu-haoze
August 22, 2024 23:23 2m 54s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 23:23 2m 54s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #194: Pull request #827 synchronize by wu-haoze
August 22, 2024 23:14 2m 55s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 23:14 2m 55s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #193: Pull request #827 synchronize by wu-haoze
August 22, 2024 20:56 3m 0s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 20:56 3m 0s
Incremental solving infrastructure clang-format Check #192: Pull request #831 synchronize by wu-haoze
August 22, 2024 19:55 3m 4s wu-haoze:inc-marabou
wu-haoze:inc-marabou
August 22, 2024 19:55 3m 4s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #191: Pull request #827 synchronize by wu-haoze
August 22, 2024 19:54 2m 57s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 19:54 2m 57s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #190: Pull request #827 synchronize by wu-haoze
August 22, 2024 19:53 2m 56s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 19:53 2m 56s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #189: Pull request #827 synchronize by wu-haoze
August 22, 2024 19:51 2m 54s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 19:51 2m 54s
Incremental solving infrastructure clang-format Check #188: Pull request #831 synchronize by wu-haoze
August 22, 2024 19:35 2m 59s wu-haoze:inc-marabou
wu-haoze:inc-marabou
August 22, 2024 19:35 2m 59s
Incremental solving infrastructure clang-format Check #187: Pull request #831 synchronize by wu-haoze
August 22, 2024 19:28 3m 4s wu-haoze:inc-marabou
wu-haoze:inc-marabou
August 22, 2024 19:28 3m 4s
Incremental solving infrastructure clang-format Check #186: Pull request #831 opened by wu-haoze
August 22, 2024 19:22 3m 3s wu-haoze:inc-marabou
wu-haoze:inc-marabou
August 22, 2024 19:22 3m 3s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #185: Pull request #827 synchronize by wu-haoze
August 22, 2024 19:03 2m 57s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 19:03 2m 57s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #184: Pull request #827 synchronize by wu-haoze
August 22, 2024 19:00 3m 1s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 22, 2024 19:00 3m 1s
Change initialization strategy in DeepSoI if NLR is not fully constructed clang-format Check #183: Pull request #829 opened by wu-haoze
August 13, 2024 17:50 3m 12s wu-haoze:fix-soi-nlr
wu-haoze:fix-soi-nlr
August 13, 2024 17:50 3m 12s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #182: Pull request #827 synchronize by wu-haoze
August 12, 2024 21:34 3m 4s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 12, 2024 21:34 3m 4s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #181: Pull request #827 synchronize by wu-haoze
August 12, 2024 21:30 2m 57s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 12, 2024 21:30 2m 57s
Drop support for Tensorflow and fix MacOS bug in unit test to pass CI tests clang-format Check #180: Pull request #827 synchronize by wu-haoze
August 12, 2024 21:22 2m 52s wu-haoze:fix-unit-test-soi
wu-haoze:fix-unit-test-soi
August 12, 2024 21:22 2m 52s