Optional Tests #96
Annotations
6 errors and 4 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 (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 (ubuntu-latest, 21, :key.core.symbolic_execution:test)
Gradle build failed: see console output for details
|
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 (windows-latest, 21, :key.core.symbolic_execution:test)
Gradle build failed: see console output for details
|
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 (ubuntu-latest, 21, :key.core.proof_references:test)
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.
|
optional-tests (windows-latest, 21, :key.core.proof_references:test)
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.
|
optional-tests (ubuntu-latest, 21, :key.core.symbolic_execution:test)
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.
|
optional-tests (windows-latest, 21, :key.core.symbolic_execution:test)
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.
|