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

bump supported python versions in pyproject.toml CI #1067: Pull request #796 opened by wu-haoze
April 9, 2024 17:38 22m 33s wu-haoze:bump-pyversion
wu-haoze:bump-pyversion
April 9, 2024 17:38 22m 33s
Bump supported python versions CI #1066: Pull request #795 opened by wu-haoze
April 9, 2024 17:34 27m 22s wu-haoze:bump-pypi
wu-haoze:bump-pypi
April 9, 2024 17:34 27m 22s
Update pyproject.toml CI #1065: Pull request #794 opened by wu-haoze
April 8, 2024 17:38 29m 2s wu-haoze-patch-1
wu-haoze-patch-1
April 8, 2024 17:38 29m 2s
CI CI #1064: Scheduled
April 8, 2024 07:04 44m 27s master
master
April 8, 2024 07:04 44m 27s
update README.md (#792) CI #1063: Commit 3526396 pushed by wu-haoze
April 7, 2024 22:49 23m 36s master
master
April 7, 2024 22:49 23m 36s
update README.md CI #1062: Pull request #792 synchronize by wu-haoze
April 7, 2024 22:49 38m 37s wu-haoze:update-readme
wu-haoze:update-readme
April 7, 2024 22:49 38m 37s
Bump softprops/action-gh-release from 1 to 2 CI #1061: Pull request #778 synchronize by dependabot bot
April 7, 2024 03:17 1h 9m 21s dependabot/github_actions/softprops/action-gh-release-2
dependabot/github_actions/softprops/action-gh-release-2
April 7, 2024 03:17 1h 9m 21s
Preparing for new release (#791) CI #1060: Commit ba9aa1a pushed by wu-haoze
April 7, 2024 03:16 30m 24s master
master
April 7, 2024 03:16 30m 24s
update README.md CI #1059: Pull request #792 synchronize by wu-haoze
April 7, 2024 01:58 1h 23m 32s wu-haoze:update-readme
wu-haoze:update-readme
April 7, 2024 01:58 1h 23m 32s
Preparing for new release CI #1058: Pull request #791 synchronize by wu-haoze
April 7, 2024 01:55 41m 39s wu-haoze:master
wu-haoze:master
April 7, 2024 01:55 41m 39s
Preparing for new release CI #1057: Pull request #791 synchronize by wu-haoze
April 7, 2024 01:54 46m 20s wu-haoze:master
wu-haoze:master
April 7, 2024 01:54 46m 20s
Preparing for new release CI #1056: Pull request #791 synchronize by wu-haoze
April 7, 2024 01:54 22m 54s wu-haoze:master
wu-haoze:master
April 7, 2024 01:54 22m 54s
update README.md CI #1055: Pull request #792 opened by wu-haoze
April 5, 2024 18:43 2h 43m 8s wu-haoze:update-readme
wu-haoze:update-readme
April 5, 2024 18:43 2h 43m 8s
Preparing for new release CI #1054: Pull request #791 synchronize by wu-haoze
April 5, 2024 18:43 2h 26m 21s wu-haoze:master
wu-haoze:master
April 5, 2024 18:43 2h 26m 21s
Preparing for new release CI #1053: Pull request #791 synchronize by wu-haoze
April 5, 2024 18:35 1h 25m 57s wu-haoze:master
wu-haoze:master
April 5, 2024 18:35 1h 25m 57s
Preparing for new release CI #1052: Pull request #791 synchronize by wu-haoze
April 5, 2024 18:34 23s wu-haoze:master
wu-haoze:master
April 5, 2024 18:34 23s
Preparing for new release CI #1051: Pull request #791 synchronize by wu-haoze
April 5, 2024 18:28 9m 16s wu-haoze:master
wu-haoze:master
April 5, 2024 18:28 9m 16s
Preparing for new release CI #1050: Pull request #791 synchronize by wu-haoze
April 5, 2024 18:27 25m 47s wu-haoze:master
wu-haoze:master
April 5, 2024 18:27 25m 47s
Preparing for new release CI #1049: Pull request #791 synchronize by wu-haoze
April 5, 2024 18:24 43m 4s wu-haoze:master
wu-haoze:master
April 5, 2024 18:24 43m 4s
Preparing for new release CI #1048: Pull request #791 opened by wu-haoze
April 5, 2024 17:29 44m 18s wu-haoze:master
wu-haoze:master
April 5, 2024 17:29 44m 18s
Bump pillow from 10.2.0 to 10.3.0 in /maraboupy/docs CI #1047: Pull request #789 opened by dependabot bot
April 3, 2024 16:22 31m 18s dependabot/pip/maraboupy/docs/pillow-10.3.0
dependabot/pip/maraboupy/docs/pillow-10.3.0
April 3, 2024 16:22 31m 18s
Fix in input splitting logic (#787) CI #1046: Commit 5c0c44e pushed by wu-haoze
April 2, 2024 21:00 49m 15s master
master
April 2, 2024 21:00 49m 15s
Fix in input splitting logic CI #1045: Pull request #787 synchronize by wu-haoze
April 2, 2024 18:29 23m 17s wu-haoze:input-splitting-fix
wu-haoze:input-splitting-fix
April 2, 2024 18:29 23m 17s
Fix in input splitting logic CI #1044: Pull request #787 synchronize by wu-haoze
April 2, 2024 18:20 43m 8s wu-haoze:input-splitting-fix
wu-haoze:input-splitting-fix
April 2, 2024 18:20 43m 8s
Disable updateFeasibleDisjuncts() on proof production mode (#779) CI #1043: Commit f09a623 pushed by omriisack
April 2, 2024 08:01 25m 58s master
master
April 2, 2024 08:01 25m 58s