Skip to content

Actions: NeuralNetworkVerification/Marabou

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
356 workflow run results
356 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for quantization operations (#715) Build wheels #252: Commit b819256 pushed by tagomaru
February 11, 2024 20:59 1h 41m 34s master
master
February 11, 2024 20:59 1h 41m 34s
Support for quantization operations CI #912: Pull request #715 synchronize by wu-haoze
February 11, 2024 18:12 22m 2s wu-haoze:qnn
wu-haoze:qnn
February 11, 2024 18:12 22m 2s
Support for quantization operations Build wheels #251: Pull request #715 synchronize by wu-haoze
February 11, 2024 18:12 1h 15m 41s wu-haoze:qnn
wu-haoze:qnn
February 11, 2024 18:12 1h 15m 41s
Force neurons in the same non-linear NLR layer to have the same sourc… Build wheels #250: Commit 06a9717 pushed by wu-haoze
February 11, 2024 17:44 1h 44m 47s master
master
February 11, 2024 17:44 1h 44m 47s
Force neurons in the same non-linear NLR layer to have the same sourc… CI #911: Commit 06a9717 pushed by wu-haoze
February 11, 2024 17:44 25m 41s master
master
February 11, 2024 17:44 25m 41s
Force neurons in the same non-linear NLR layer to have the same source layer Build wheels #249: Pull request #718 synchronize by wu-haoze
February 11, 2024 17:21 1h 6m 12s wu-haoze:ge-fix
wu-haoze:ge-fix
February 11, 2024 17:21 1h 6m 12s
Force neurons in the same non-linear NLR layer to have the same source layer CI #910: Pull request #718 synchronize by wu-haoze
February 11, 2024 17:21 23m 22s wu-haoze:ge-fix
wu-haoze:ge-fix
February 11, 2024 17:21 23m 22s
Patch SnC CI #909: Pull request #726 opened by wu-haoze
February 10, 2024 16:57 27m 14s wu-haoze:patch-snc
wu-haoze:patch-snc
February 10, 2024 16:57 27m 14s
Patch SnC Build wheels #248: Pull request #726 opened by wu-haoze
February 10, 2024 16:57 1h 9m 46s wu-haoze:patch-snc
wu-haoze:patch-snc
February 10, 2024 16:57 1h 9m 46s
Print errors on stderr rather than stdout Build wheels #247: Pull request #725 opened by MatthewDaggitt
February 10, 2024 10:05 1h 15m 49s stderr
stderr
February 10, 2024 10:05 1h 15m 49s
Print errors on stderr rather than stdout CI #908: Pull request #725 opened by MatthewDaggitt
February 10, 2024 10:05 14m 35s stderr
stderr
February 10, 2024 10:05 14m 35s
Support for quantization operations Build wheels #246: Pull request #715 synchronize by wu-haoze
February 9, 2024 22:37 1h 9m 0s wu-haoze:qnn
wu-haoze:qnn
February 9, 2024 22:37 1h 9m 0s
Support for quantization operations CI #907: Pull request #715 synchronize by wu-haoze
February 9, 2024 22:37 21m 38s wu-haoze:qnn
wu-haoze:qnn
February 9, 2024 22:37 21m 38s
Support for quantization operations Build wheels #245: Pull request #715 synchronize by wu-haoze
February 9, 2024 22:22 1h 44m 6s wu-haoze:qnn
wu-haoze:qnn
February 9, 2024 22:22 1h 44m 6s
Support for quantization operations CI #906: Pull request #715 synchronize by wu-haoze
February 9, 2024 22:22 29m 45s wu-haoze:qnn
wu-haoze:qnn
February 9, 2024 22:22 29m 45s
fix squeeze parser CI #905: Pull request #724 synchronize by wu-haoze
February 9, 2024 17:48 13m 31s wu-haoze:squeeze-fix
wu-haoze:squeeze-fix
February 9, 2024 17:48 13m 31s
fix squeeze parser Build wheels #244: Pull request #724 synchronize by wu-haoze
February 9, 2024 17:48 1h 25m 34s wu-haoze:squeeze-fix
wu-haoze:squeeze-fix
February 9, 2024 17:48 1h 25m 34s
fix squeeze parser CI #904: Pull request #724 opened by wu-haoze
February 9, 2024 17:26 14m 5s wu-haoze:squeeze-fix
wu-haoze:squeeze-fix
February 9, 2024 17:26 14m 5s
fix squeeze parser Build wheels #243: Pull request #724 opened by wu-haoze
February 9, 2024 17:26 1h 8m 3s wu-haoze:squeeze-fix
wu-haoze:squeeze-fix
February 9, 2024 17:26 1h 8m 3s
refactor get min max bounds in disjunction into getEntailedConstraint… CI #903: Commit f686c6b pushed by wu-haoze
February 9, 2024 15:17 15m 48s master
master
February 9, 2024 15:17 15m 48s
refactor get min max bounds in disjunction into getEntailedConstraint… Build wheels #242: Commit f686c6b pushed by wu-haoze
February 9, 2024 15:17 1h 24m 57s master
master
February 9, 2024 15:17 1h 24m 57s
Support for quantization operations CI #902: Pull request #715 synchronize by wu-haoze
February 8, 2024 21:25 44m 3s wu-haoze:qnn
wu-haoze:qnn
February 8, 2024 21:25 44m 3s
Support for quantization operations Build wheels #241: Pull request #715 synchronize by wu-haoze
February 8, 2024 21:25 1h 21m 21s wu-haoze:qnn
wu-haoze:qnn
February 8, 2024 21:25 1h 21m 21s
Force neurons in the same non-linear NLR layer to have the same source layer Build wheels #240: Pull request #718 synchronize by wu-haoze
February 8, 2024 20:59 1h 40m 55s wu-haoze:ge-fix
wu-haoze:ge-fix
February 8, 2024 20:59 1h 40m 55s
Force neurons in the same non-linear NLR layer to have the same source layer CI #901: Pull request #718 synchronize by wu-haoze
February 8, 2024 20:59 46m 14s wu-haoze:ge-fix
wu-haoze:ge-fix
February 8, 2024 20:59 46m 14s