Skip to content

Tests

Tests #1101

Triggered via merge group July 21, 2023 20:55
Status Success
Total duration 1h 57m 56s
Artifacts 2

tests.yml

on: merge_group
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