Tests

Use KeYParser.g4 for parsing proof scripts #2732

Sign in to view logs

Triggered via pull request January 20, 2025 18:44

wadoon

synchronize #3021

wadoon:weigl/psg4

Status Success

Total duration 8m 52s

Artifacts 5

tests.yml

on: pull_request

Matrix: integration-tests

Matrix: unit-tests

Annotations

5 errors, 4 warnings, and 3 notices

integration-tests (testProveRules, ubuntu-latest, 21)

Process completed with exit code 1.

integration-tests (testRunAllInfProofs, ubuntu-latest, 21)

Process completed with exit code 1.

integration-tests (testRunAllFunProofs, ubuntu-latest, 21)

Process completed with exit code 1.

unit-tests (ubuntu-latest, 21)

Process completed with exit code 1.

unit-tests (windows-latest, 21)

Process completed with exit code 1.

integration-tests (testProveRules, ubuntu-latest, 21)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

integration-tests (testRunAllInfProofs, ubuntu-latest, 21)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

integration-tests (testRunAllFunProofs, ubuntu-latest, 21)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

unit-tests (ubuntu-latest, 21)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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
test-results-testProveRules	11.1 KB
test-results-testRunAllFunProofs	224 KB
test-results-testRunAllInfProofs	155 KB
test-results-ubuntu-latest	692 KB
test-results-windows-latest	690 KB