Skip to content

Actions: NeuralNetworkVerification/Marabou

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
467 workflow runs
467 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding support for properties encoded in VNN-LIB format into the core C++ side of Marabou CI #816: Pull request #705 opened by idan0610
January 23, 2024 17:04 27m 2s master
master
January 23, 2024 17:04 27m 2s
Bump pillow from 8.3.2 to 10.2.0 in /maraboupy/docs CI #815: Pull request #704 opened by dependabot bot
January 23, 2024 00:38 22m 42s dependabot/pip/maraboupy/docs/pillow-10.2.0
dependabot/pip/maraboupy/docs/pillow-10.2.0
January 23, 2024 00:38 22m 42s
Bump actions/cache from 3 to 4 CI #814: Pull request #703 opened by dependabot bot
January 22, 2024 16:16 24m 17s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
January 22, 2024 16:16 24m 17s
CI CI #813: Scheduled
January 22, 2024 07:03 1h 4m 45s master
master
January 22, 2024 07:03 1h 4m 45s
CI CI #812: Scheduled
January 15, 2024 07:03 38m 37s master
master
January 15, 2024 07:03 38m 37s
CI CI #811: Scheduled
January 8, 2024 07:03 25m 9s master
master
January 8, 2024 07:03 25m 9s
Fix bugs in SnC (#701) CI #810: Commit 20ed7a9 pushed by wu-haoze
January 6, 2024 18:43 39m 53s master
master
January 6, 2024 18:43 39m 53s
Fix bugs in SnC CI #809: Pull request #701 synchronize by wu-haoze
January 6, 2024 10:07 21m 43s wu-haoze:fix-snc
wu-haoze:fix-snc
January 6, 2024 10:07 21m 43s
Fix bugs in SnC CI #808: Pull request #701 synchronize by wu-haoze
January 6, 2024 09:43 21m 16s wu-haoze:fix-snc
wu-haoze:fix-snc
January 6, 2024 09:43 21m 16s
Fix bugs in SnC CI #807: Pull request #701 synchronize by wu-haoze
January 6, 2024 08:35 16m 1s wu-haoze:fix-snc
wu-haoze:fix-snc
January 6, 2024 08:35 16m 1s
Fix bugs in SnC CI #806: Pull request #701 opened by wu-haoze
January 6, 2024 08:32 15m 44s wu-haoze:fix-snc
wu-haoze:fix-snc
January 6, 2024 08:32 15m 44s
Leaky relu CI #805: Pull request #468 synchronize by wu-haoze
January 5, 2024 21:06 24m 18s wu-haoze:leaky-relu
wu-haoze:leaky-relu
January 5, 2024 21:06 24m 18s
Adding support for vnnlib files encoding properties + adding support … CI #804: Commit 6fcb392 pushed by idan0610
January 5, 2024 20:29 36m 7s master
master
January 5, 2024 20:29 36m 7s
Leaky relu CI #803: Pull request #468 synchronize by wu-haoze
January 5, 2024 19:07 37m 25s wu-haoze:leaky-relu
wu-haoze:leaky-relu
January 5, 2024 19:07 37m 25s
Adding support for vnnlib files encoding properties + adding support … CI #802: Pull request #698 synchronize by idan0610
January 5, 2024 18:54 35m 9s master
master
January 5, 2024 18:54 35m 9s
Adding support for vnnlib files encoding properties + adding support … CI #801: Pull request #698 synchronize by idan0610
January 5, 2024 18:51 31m 43s master
master
January 5, 2024 18:51 31m 43s
Leaky relu CI #800: Pull request #468 synchronize by wu-haoze
January 5, 2024 18:36 37m 50s wu-haoze:leaky-relu
wu-haoze:leaky-relu
January 5, 2024 18:36 37m 50s
Leaky relu CI #799: Pull request #468 synchronize by wu-haoze
January 5, 2024 18:30 7m 9s wu-haoze:leaky-relu
wu-haoze:leaky-relu
January 5, 2024 18:30 7m 9s
Adding support for vnnlib files encoding properties + adding support … CI #798: Pull request #698 synchronize by idan0610
January 5, 2024 09:47 27m 7s master
master
January 5, 2024 09:47 27m 7s
Adding support for vnnlib files encoding properties + adding support … CI #797: Pull request #698 synchronize by idan0610
January 4, 2024 16:25 31m 47s master
master
January 4, 2024 16:25 31m 47s
Split and verify an ONNX file into multiple subnets CI #796: Pull request #697 synchronize by tagomaru
January 4, 2024 07:11 37m 47s tagomaru:multiple-split-onnx
tagomaru:multiple-split-onnx
January 4, 2024 07:11 37m 47s
Leaky relu CI #795: Pull request #468 synchronize by wu-haoze
January 4, 2024 07:04 7m 9s wu-haoze:leaky-relu
wu-haoze:leaky-relu
January 4, 2024 07:04 7m 9s
Leaky relu CI #794: Pull request #468 synchronize by wu-haoze
January 4, 2024 07:01 7m 9s wu-haoze:leaky-relu
wu-haoze:leaky-relu
January 4, 2024 07:01 7m 9s
Split and verify an ONNX file into multiple subnets CI #793: Pull request #697 synchronize by tagomaru
January 4, 2024 05:09 37m 3s tagomaru:multiple-split-onnx
tagomaru:multiple-split-onnx
January 4, 2024 05:09 37m 3s
Split and verify an ONNX file into multiple subnets CI #792: Pull request #697 synchronize by tagomaru
January 4, 2024 05:08 44m 58s tagomaru:multiple-split-onnx
tagomaru:multiple-split-onnx
January 4, 2024 05:08 44m 58s
ProTip! You can narrow down the results and go further in time using created:<2024-01-04 or the other filters available.