Tests

Clean up the Java AST: Avoid sub-classes in favor of Enum #4522

Triggered via pull request May 12, 2026 16:01

wadoon

synchronize #3803

weigl/javaastenums

Status Success

Total duration 33m 16s

Artifacts 32

tests.yml

on: pull_request

Matrix: integration-tests

Matrix: unit-tests

Annotations

11 errors, 19 warnings, and 15 notices

unit-tests (ubuntu-latest, 21, keyext.caching)

Process completed with exit code 1.

unit-tests (ubuntu-latest, 21, keyext.slicing)

Process completed with exit code 1.

unit-tests (windows-latest, 21, keyext.caching)

Process completed with exit code 1.

unit-tests (windows-latest, 21, keyext.slicing)

Process completed with exit code 1.

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

Process completed with exit code 1.

unit-tests (ubuntu-latest, 21, key.core)

Process completed with exit code 1.

unit-tests (windows-latest, 21, key.core)

Process completed with exit code 1.

unit-tests (windows-latest, 21, keyext.exploration)

Process completed with exit code 1.

unit-tests (windows-latest, 21, keyext.exploration)

timeout (10000ms)

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 (windows-latest, 21, key.core.infflow)

No files were found with the provided path: **/build/test-results/*/*.xml **/build/reports/ !**/jacocoTestReport.xml. No artifacts will be uploaded.

unit-tests (windows-latest, 21, key.ncore.calculus)

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

unit-tests (windows-latest, 21, key.util)

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

unit-tests (windows-latest, 21, key.ncore)

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

unit-tests (windows-latest, 21, key.core.example)

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

unit-tests (windows-latest, 21, key.ui)

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

unit-tests (windows-latest, 21, keyext.ui.testgen)

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

unit-tests (windows-latest, 21, key.core.wd)

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

unit-tests (windows-latest, 21, keyext.proofmanagement)

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

unit-tests (windows-latest, 21, key.core.testgen)

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

unit-tests (windows-latest, 21, keyext.isabelletranslation)

Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.

unit-tests (windows-latest, 21, keyext.exploration)

No files were found with the provided path: **/build/test-results/*/*.xml **/build/reports/ !**/jacocoTestReport.xml. No artifacts will be uploaded.

unit-tests (windows-latest, 21, keyext.exploration)

Failed to restore gradle-home-v1|Windows-X64|unit-tests[df15d7ac024211cc5ec119ddbabd35ac]-6211dba3b1313d8b0be30d2247d10c6916f61fea: Error: Failed to GetCacheEntryDownloadURL: Unable to make request: ECONNRESET If you are using self-hosted runners, please make sure your runner has access to all GitHub endpoints: https://docs.github.com/en/actions/hosting-your-own-runners/managing-self-hosted-runners/about-self-hosted-runners#communication-between-self-hosted-runners-and-github

unit-tests (windows-latest, 21, keyext.exploration)

Back off 26.877 seconds before retry.

unit-tests (windows-latest, 21, keyext.exploration)

Failed to download action 'https://codeload.github.com/gradle/actions/zip/50e97c2cd7a37755bbfafc9c5b7cafaece252f6e'. Error: The SSL connection could not be established, see inner exception.

unit-tests (windows-latest, 21, keyext.exploration)

Back off 14.527 seconds before retry.

unit-tests (windows-latest, 21, keyext.exploration)

Failed to download action 'https://codeload.github.com/KeYProject/setup-smt/zip/f4ecc2ef28ca8af8a9ae72ece0dbaa00d217943d'. Error: The SSL connection could not be established, see inner exception.

unit-tests (windows-latest, 21, keyext.exploration)

Back off 18.65 seconds before retry.

unit-tests (windows-latest, 21, keyext.exploration)

Failed to download action 'https://codeload.github.com/KeYProject/setup-smt/zip/f4ecc2ef28ca8af8a9ae72ece0dbaa00d217943d'. Error: The SSL connection could not be established, see inner exception.

unit-tests (windows-latest, 21, key.core.infflow)