Skip to content

Optional Tests

Optional Tests #111

Triggered via schedule October 21, 2024 01:36
Status Success
Total duration 17m 38s
Artifacts

opttest.yml

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

Annotations

8 errors
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.