Skip to content

Actions: NeuralNetworkVerification/Marabou

Build wheels

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
178 workflow run results
178 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed bugs with Sigmoid layers in C++ ONNX parser (#733)
Build wheels #264: Commit 9818412 pushed by wu-haoze
February 12, 2024 18:18 1h 27m 26s master
February 12, 2024 18:18 1h 27m 26s
Print errors on stderr rather than stdout (#725)
Build wheels #263: Commit de73b92 pushed by wu-haoze
February 12, 2024 18:10 1h 22m 13s master
February 12, 2024 18:10 1h 22m 13s
Fixed bugs with Sigmoid layers in C++ ONNX parser
Build wheels #260: Pull request #733 opened by MatthewDaggitt
February 12, 2024 14:30 1h 43m 57s sigmoid-cpp-bugs
February 12, 2024 14:30 1h 43m 57s
Implement the Cast operator in C++ ONNX parser
Build wheels #259: Pull request #732 synchronize by MatthewDaggitt
February 12, 2024 14:06 1h 20m 4s implement-cast-cpp-parser
February 12, 2024 14:06 1h 20m 4s
Implement the Cast operator in C++ ONNX parser
Build wheels #258: Pull request #732 opened by MatthewDaggitt
February 12, 2024 13:06 19m 23s implement-cast-cpp-parser
February 12, 2024 13:06 19m 23s
Print errors on stderr rather than stdout
Build wheels #257: Pull request #725 synchronize by MatthewDaggitt
February 12, 2024 12:17 1h 35m 23s stderr
February 12, 2024 12:17 1h 35m 23s
Print errors on stderr rather than stdout
Build wheels #256: Pull request #725 synchronize by MatthewDaggitt
February 12, 2024 11:56 1h 45m 4s stderr
February 12, 2024 11:56 1h 45m 4s
Print errors on stderr rather than stdout
Build wheels #255: Pull request #725 synchronize by MatthewDaggitt
February 12, 2024 11:55 1h 44m 15s stderr
February 12, 2024 11:55 1h 44m 15s
Support multiple outputs in C++ ONNX parser
Build wheels #254: Pull request #731 opened by MatthewDaggitt
February 12, 2024 08:32 1h 33m 14s multiple-outputs
February 12, 2024 08:32 1h 33m 14s
Build wheels
Build wheels #253: Scheduled
February 12, 2024 07:02 1h 16m 6s master
February 12, 2024 07:02 1h 16m 6s
Support for quantization operations (#715)
Build wheels #252: Commit b819256 pushed by tagomaru
February 11, 2024 20:59 1h 41m 34s master
February 11, 2024 20:59 1h 41m 34s
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
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
February 11, 2024 17:44 1h 44m 47s
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
February 11, 2024 17:21 1h 6m 12s
Patch SnC
Build wheels #248: Pull request #726 opened by wu-haoze
February 10, 2024 16:57 1h 9m 46s 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
February 10, 2024 10:05 1h 15m 49s
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
February 9, 2024 22:37 1h 9m 0s
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
February 9, 2024 22:22 1h 44m 6s
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
February 9, 2024 17:48 1h 25m 34s
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
February 9, 2024 17:26 1h 8m 3s
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
February 9, 2024 15:17 1h 24m 57s
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
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
February 8, 2024 20:59 1h 40m 55s