Skip to content

Optional Tests

Optional Tests #56

Triggered via schedule March 1, 2025 01:19
Status Success
Total duration 17m 27s
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-ac9f3fa57d5a338bfb4f89fb85d219ff23bac6254533a7a3f0c0aa826bbe7cc0
optional-tests (windows-latest, 21, :key.core.symbolic_execution:test)
Cache not found for keys: setup-java-Windows-x64-gradle-ac9f3fa57d5a338bfb4f89fb85d219ff23bac6254533a7a3f0c0aa826bbe7cc0