Update .github/workflows/c-cpp.yml to include libz3.so.4.12 #242
alan23273850c-cpp.yml
on: push
build-debug
1m 25s
build-release
1m 49s
test-debug
3m 2s
test-release
25s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
AutoQ-debug
Expired
|
103 MB |
|
|
AutoQ-release
Expired
|
40.9 MB |
|