Skip to content

Cleanups

Cleanups #2803

Triggered via pull request February 8, 2025 17:16
Status Success
Total duration 1m 23s
Artifacts 5

tests.yml

on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 3 notices
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
Process completed with exit code 1.
unit-tests (ubuntu-latest, 21)
Process completed with exit code 1.
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
Process completed with exit code 1.
integration-tests (testProveRules, ubuntu-latest, 21)
Process completed with exit code 1.
unit-tests (windows-latest, 21)
Process completed with exit code 1.
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
{Z3 found. Caching works! Skip installation}
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
{Z3 found. Caching works! Skip installation}
integration-tests (testProveRules, ubuntu-latest, 21)
{Z3 found. Caching works! Skip installation}

Artifacts

Produced during runtime
Name Size Digest
test-results-testProveRules Expired
40.9 KB
sha256:ef22873f5dd59272bc9cf5f56c33b1f68573845882c8255f3321ac96920155d3
test-results-testRunAllFunProofs Expired
40.9 KB
sha256:c78b80aed2903d1ea41dbe3c2c9843dec352f6baf9eec7c4e37d8fdd0b07c553
test-results-testRunAllInfProofs Expired
40.9 KB
sha256:484a810092c7cbfd922b3f419f74a46a2c006773a059d386046eb4fc93d41e96
test-results-ubuntu-latest Expired
41 KB
sha256:05c4d2ef3a6d5558614b2da723e780075f1dd826354c3d70b4327a9123ab713b
test-results-windows-latest Expired
41 KB
sha256:7464dc750f73d96773cb93535e31ea6d208b7c81585bfec5b7979bac25c212d6