Skip to content

Actions: NeuralNetworkVerification/Marabou

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,176 workflow runs
1,176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding support for vnnlib files encoding properties + adding support … Build wheels #124: Pull request #698 opened by idan0610
December 28, 2023 17:12 1h 25m 45s master
master
December 28, 2023 17:12 1h 25m 45s
Adding support for vnnlib files encoding properties + adding support … CI #785: Pull request #698 opened by idan0610
December 28, 2023 17:12 23m 17s master
master
December 28, 2023 17:12 23m 17s
Split and verify an ONNX file into multiple subnets Build wheels #123: Pull request #697 synchronize by tagomaru
December 27, 2023 20:00 1m 0s tagomaru:multiple-split-onnx
tagomaru:multiple-split-onnx
December 27, 2023 20:00 1m 0s
Split and verify an ONNX file into multiple subnets CI #784: Pull request #697 synchronize by tagomaru
December 27, 2023 20:00 24m 13s tagomaru:multiple-split-onnx
tagomaru:multiple-split-onnx
December 27, 2023 20:00 24m 13s
Split and verify an ONNX file into multiple subnets CI #783: Pull request #697 opened by tagomaru
December 27, 2023 19:46 25m 12s tagomaru:multiple-split-onnx
tagomaru:multiple-split-onnx
December 27, 2023 19:46 25m 12s
Split and verify an ONNX file into multiple subnets Build wheels #122: Pull request #697 opened by tagomaru
December 27, 2023 19:46 22m 21s tagomaru:multiple-split-onnx
tagomaru:multiple-split-onnx
December 27, 2023 19:46 22m 21s
CI CI #782: Scheduled
December 25, 2023 07:03 37m 34s master
master
December 25, 2023 07:03 37m 34s
Build wheels Build wheels #121: Scheduled
December 25, 2023 07:02 1h 30m 51s master
master
December 25, 2023 07:02 1h 30m 51s
Write proofs as JSON files (#696) Build wheels #120: Commit c2bf020 pushed by omriisack
December 20, 2023 09:28 2h 5m 30s master
master
December 20, 2023 09:28 2h 5m 30s
Write proofs as JSON files (#696) CI #781: Commit c2bf020 pushed by omriisack
December 20, 2023 09:28 25m 36s master
master
December 20, 2023 09:28 25m 36s
Write proofs as JSON files CI #780: Pull request #696 synchronize by omriisack
December 20, 2023 08:56 31m 22s OmriIsacHUJI:master
OmriIsacHUJI:master
December 20, 2023 08:56 31m 22s
Write proofs as JSON files Build wheels #119: Pull request #696 synchronize by omriisack
December 20, 2023 08:56 2h 4m 30s OmriIsacHUJI:master
OmriIsacHUJI:master
December 20, 2023 08:56 2h 4m 30s
Write proofs as JSON files CI #779: Pull request #696 synchronize by omriisack
December 20, 2023 08:47 7m 54s OmriIsacHUJI:master
OmriIsacHUJI:master
December 20, 2023 08:47 7m 54s
Write proofs as JSON files Build wheels #118: Pull request #696 synchronize by omriisack
December 20, 2023 08:47 12m 15s OmriIsacHUJI:master
OmriIsacHUJI:master
December 20, 2023 08:47 12m 15s
Write proofs as JSON files CI #778: Pull request #696 opened by OmriIsacHUJI
December 19, 2023 14:11 46m 16s OmriIsacHUJI:master
OmriIsacHUJI:master
December 19, 2023 14:11 46m 16s
Write proofs as JSON files Build wheels #117: Pull request #696 opened by OmriIsacHUJI
December 19, 2023 14:11 1h 45m 48s OmriIsacHUJI:master
OmriIsacHUJI:master
December 19, 2023 14:11 1h 45m 48s
Bump actions/download-artifact from 3 to 4 CI #777: Pull request #695 opened by dependabot bot
December 18, 2023 16:16 27m 4s dependabot/github_actions/actions/download-artifact-4
dependabot/github_actions/actions/download-artifact-4
December 18, 2023 16:16 27m 4s
Bump actions/download-artifact from 3 to 4 Build wheels #116: Pull request #695 opened by dependabot bot
December 18, 2023 16:16 1h 35m 52s dependabot/github_actions/actions/download-artifact-4
dependabot/github_actions/actions/download-artifact-4
December 18, 2023 16:16 1h 35m 52s
Bump actions/upload-artifact from 3 to 4 Build wheels #115: Pull request #694 opened by dependabot bot
December 18, 2023 16:16 1h 44m 9s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 18, 2023 16:16 1h 44m 9s
Bump actions/upload-artifact from 3 to 4 CI #776: Pull request #694 opened by dependabot bot
December 18, 2023 16:16 33m 18s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 18, 2023 16:16 33m 18s
CI CI #775: Scheduled
December 18, 2023 07:03 23m 13s master
master
December 18, 2023 07:03 23m 13s
Build wheels Build wheels #114: Scheduled
December 18, 2023 07:02 1h 31m 30s master
master
December 18, 2023 07:02 1h 31m 30s
Sparse explanations in BoundExplainer (#692) Build wheels #113: Commit c040dbe pushed by omriisack
December 12, 2023 22:49 1h 45m 59s master
master
December 12, 2023 22:49 1h 45m 59s
Sparse explanations in BoundExplainer (#692) CI #774: Commit c040dbe pushed by omriisack
December 12, 2023 22:49 35m 52s master
master
December 12, 2023 22:49 35m 52s
Sparse explanations in BoundExplainer Build wheels #112: Pull request #692 synchronize by omriisack
December 12, 2023 19:35 1h 27m 43s OmriIsacHUJI:master
OmriIsacHUJI:master
December 12, 2023 19:35 1h 27m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-12-12 or the other filters available.