Skip to content

Workflow for testing releases (#3211) #1100

Workflow for testing releases (#3211)

Workflow for testing releases (#3211) #1100

Triggered via push July 21, 2023 20:53
Status Success
Total duration 1h 35m 53s
Artifacts 2

tests.yml

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

Annotations

3 notices
integration-tests (testProveRules, ubuntu-latest, 11)
{Z3 found. Caching works! Skip installation}
integration-tests (testRunAllInfProofs, ubuntu-latest, 11)
{Z3 found. Caching works! Skip installation}
integration-tests (testRunAllFunProofs, ubuntu-latest, 11)
{Z3 found. Caching works! Skip installation}

Artifacts

Produced during runtime
Name Size
pr-number Expired
0 Bytes
test-results Expired
32.2 MB