Skip to content

Actions: minotaur-toolkit/minotaur

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
95 workflow runs
95 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[synthesis] skip case2 for now Docker build #23: Commit 8c8c4b8 pushed by zhengyang92
23s dev
dev
23s
[synthesis] skip case2 for now Build #101: Commit 8c8c4b8 pushed by zhengyang92
3h 24m 9s dev
dev
3h 24m 9s
[minotaur] minor fixes Build #100: Commit 5ba6d60 pushed by zhengyang92
3h 8m 22s dev
dev
3h 8m 22s
[minotaur] minor fixes Docker build #22: Commit 5ba6d60 pushed by zhengyang92
16s dev
dev
16s
[workflow] suppress alive2 build error Build #99: Commit 0de6429 pushed by zhengyang92
3h 10m 26s dev
dev
3h 10m 26s
[workflow] suppress alive2 build error Docker build #21: Commit 0de6429 pushed by zhengyang92
21s dev
dev
21s
[workflow] set C_COMPILER as well Build #98: Commit 546ffef pushed by zhengyang92
1h 52m 55s dev
dev
1h 52m 55s
[workflow] set C_COMPILER as well Docker build #20: Commit 546ffef pushed by zhengyang92
21s dev
dev
21s
[workflow] use the same compiler for all components Build #97: Commit 7156c42 pushed by zhengyang92
20m 19s dev
dev
20m 19s
[workflow] use the same compiler for all components Docker build #19: Commit 7156c42 pushed by zhengyang92
22s dev
dev
22s
[constsyn] bias the model toward poison reserved constants (#41) Build #96: Commit 85b63ef pushed by zhengyang92
3h 0m 55s dev
dev
3h 0m 55s
[constsyn] bias the model toward poison reserved constants (#41) Docker build #18: Commit 85b63ef pushed by zhengyang92
22s dev
dev
22s
[workflow] set LD_LIBRARY_PATH for z3 Build #95: Commit fb9953c pushed by zhengyang92
2h 56m 56s dev
dev
2h 56m 56s
[workflow] set LD_LIBRARY_PATH for z3 Docker build #17: Commit fb9953c pushed by zhengyang92
1h 51m 59s dev
dev
1h 51m 59s
[workflow] changing z3 to 4.15.4 Build #94: Commit 866204d pushed by zhengyang92
1h 10m 47s dev
dev
1h 10m 47s
[workflow] changing z3 to 4.15.4 Docker build #16: Commit 866204d pushed by zhengyang92
1h 53m 38s dev
dev
1h 53m 38s
[synthesis] increase timeouts Docker build #15: Commit 990d3c4 pushed by zhengyang92
24s dev
dev
24s
[synthesis] increase timeouts Build #93: Commit 990d3c4 pushed by zhengyang92
3h 2m 22s dev
dev
3h 2m 22s
[minotaur] verbose output for unit tests Docker build #14: Commit 0c7571d pushed by zhengyang92
19s dev
dev
19s
[minotaur] verbose output for unit tests Build #92: Commit 0c7571d pushed by zhengyang92
2h 48m 55s dev
dev
2h 48m 55s
[cache] use bitcode as key, to avoid patching LLVM Build #91: Commit 07c56fc pushed by zhengyang92
4h 4m 25s cache-bc
cache-bc
4h 4m 25s
[cache] use bitcode as key, to avoid patching LLVM Docker build #13: Commit 07c56fc pushed by zhengyang92
1h 17m 7s cache-bc
cache-bc
1h 17m 7s
[constsyn] bias the model toward poison reserved constants Build #90: Pull request #41 opened by zhengyang92
2h 46m 50s perfer-poison
perfer-poison
2h 46m 50s
[constsyn] bias the model toward poison reserved constants Docker build #12: Pull request #41 opened by zhengyang92
15s perfer-poison
perfer-poison
15s
[constsyn] bias the model toward poison reserved constants Build #89: Commit 3780832 pushed by zhengyang92
2h 47m 48s perfer-poison
perfer-poison
2h 47m 48s