Properly fix #63 #637
JonasAlaifcontinuous_integration.yml
on: pull_request
Matrix: generate_log
format
15s
clippy
1m 12s
Matrix: test
Annotations
5 errors and 8 warnings
|
test (4.12.2)
Process completed with exit code 101.
|
|
test (4.13.3)
Process completed with exit code 101.
|
|
test (4.12.4)
Process completed with exit code 101.
|
|
test (4.11.2)
Process completed with exit code 101.
|
|
test (4.8.17)
Process completed with exit code 101.
|
|
format
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
clippy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (4.8.7)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (4.12.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (4.13.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (4.12.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (4.11.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (4.8.17)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
logs_z3_v4.11.2
|
1.42 GB |
|
|
logs_z3_v4.12.2
|
1.22 GB |
|
|
logs_z3_v4.12.4
|
1.33 GB |
|
|
logs_z3_v4.13.3
|
1.29 GB |
|
|
logs_z3_v4.8.17
|
1.4 GB |
|