Clean up ML code #498
JonasAlaifcontinuous_integration.yml
on: pull_request
Matrix: generate_log
format
17s
clippy
1m 14s
Matrix: test
Annotations
1 error
|
test (4.13.3)
Process completed with exit code 101.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
logs_z3_v4.13.3
Expired
|
1.17 GB |
|