Skip to content

Optional Tests

Optional Tests #4

Triggered via schedule February 21, 2025 01:03
Status Success
Total duration 18m 0s
Artifacts

opttest.yml

on: schedule
Matrix: optional-tests
Fit to window
Zoom out
Zoom in

Annotations

8 errors and 2 warnings
optional-tests (ubuntu-latest, 21, :key.core.proof_references:test)
The artifact name is not valid: test-results-:key.core.proof_references:test. Contains the following character: Colon : Invalid characters include: Double quote ", Colon :, Less than <, Greater than >, Vertical bar |, Asterisk *, Question mark ?, Carriage return \r, Line feed \n, Backslash \, Forward slash / These characters are not allowed in the artifact name due to limitations with certain file systems such as NTFS. To maintain file system agnostic behavior, these characters are intentionally not allowed to prevent potential problems with downloads on different file systems.
optional-tests (ubuntu-latest, 21, :key.core.proof_references:test)
Process completed with exit code 1.
optional-tests (windows-latest, 21, :key.core.proof_references:test)
The artifact name is not valid: test-results-:key.core.proof_references:test. Contains the following character: Colon : Invalid characters include: Double quote ", Colon :, Less than <, Greater than >, Vertical bar |, Asterisk *, Question mark ?, Carriage return \r, Line feed \n, Backslash \, Forward slash / These characters are not allowed in the artifact name due to limitations with certain file systems such as NTFS. To maintain file system agnostic behavior, these characters are intentionally not allowed to prevent potential problems with downloads on different file systems.
optional-tests (windows-latest, 21, :key.core.proof_references:test)
Process completed with exit code 1.
optional-tests (ubuntu-latest, 21, :key.core.symbolic_execution:test)
The artifact name is not valid: test-results-:key.core.symbolic_execution:test. Contains the following character: Colon : Invalid characters include: Double quote ", Colon :, Less than <, Greater than >, Vertical bar |, Asterisk *, Question mark ?, Carriage return \r, Line feed \n, Backslash \, Forward slash / These characters are not allowed in the artifact name due to limitations with certain file systems such as NTFS. To maintain file system agnostic behavior, these characters are intentionally not allowed to prevent potential problems with downloads on different file systems.
optional-tests (ubuntu-latest, 21, :key.core.symbolic_execution:test)
Process completed with exit code 1.
optional-tests (windows-latest, 21, :key.core.symbolic_execution:test)
The artifact name is not valid: test-results-:key.core.symbolic_execution:test. Contains the following character: Colon : Invalid characters include: Double quote ", Colon :, Less than <, Greater than >, Vertical bar |, Asterisk *, Question mark ?, Carriage return \r, Line feed \n, Backslash \, Forward slash / These characters are not allowed in the artifact name due to limitations with certain file systems such as NTFS. To maintain file system agnostic behavior, these characters are intentionally not allowed to prevent potential problems with downloads on different file systems.
optional-tests (windows-latest, 21, :key.core.symbolic_execution:test)
Process completed with exit code 1.
optional-tests (windows-latest, 21, :key.core.proof_references:test)
Cache not found for keys: setup-java-Windows-x64-gradle-ec82f9cb454835cc76ea1ad68abe69582f9461c6ceb066b8c974f3814f1ef58c
optional-tests (windows-latest, 21, :key.core.symbolic_execution:test)
Cache not found for keys: setup-java-Windows-x64-gradle-ec82f9cb454835cc76ea1ad68abe69582f9461c6ceb066b8c974f3814f1ef58c