Skip to content

Fix various UI bugs #1162

Fix various UI bugs

Fix various UI bugs #1162

Triggered via pull request July 27, 2023 17:32
Status Success
Total duration 1h 33m 57s
Artifacts 2

tests.yml

on: pull_request
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
4 Bytes
test-results Expired
10.8 MB