Optimise memory usage #486
JonasAlaifcontinuous_integration.yml
on: pull_request
Matrix: generate_log
format
14s
clippy
1m 12s
Matrix: test
Annotations
1 error
|
test (4.8.7)
Process completed with exit code 101.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
logs_z3_v4.8.7
Expired
|
956 MB |
|