Skip to content

Revive work on Polymorphic Sorts #1916

Revive work on Polymorphic Sorts

Revive work on Polymorphic Sorts #1916

Triggered via pull request January 12, 2024 10:55
Status Success
Total duration 1h 3m 47s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

tests.yml

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

Annotations

4 errors and 3 notices
integration-tests (testProveRules, ubuntu-latest, 21)
Gradle build failed: see console output for details
unit-tests (ubuntu-latest, 21)
Gradle build failed: see console output for details
unit-tests (windows-latest, 21)
Gradle build failed: see console output for details
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
Gradle build failed: see console output for details
integration-tests (testProveRules, ubuntu-latest, 21)
{Z3 found. Caching works! Skip installation}
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
{Z3 found. Caching works! Skip installation}
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
{Z3 found. Caching works! Skip installation}

Artifacts

Produced during runtime
Name Size
pr-number Expired
4 Bytes
test-results Expired
11.3 MB