Broad Release Tests #3
BookWood7thAnnotations
14 errors, 4 warnings, and 6 notices
|
unit-tests (macos-latest, 17)
Process completed with exit code 1.
|
|
unit-tests (ubuntu-latest, 17)
Process completed with exit code 1.
|
|
unit-tests (windows-latest, 17)
Process completed with exit code 1.
|
|
unit-tests (ubuntu-latest, 21)
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run
|
|
unit-tests (macos-latest, 21)
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run
|
|
integration-tests (testRunAllInfProofs, macos-latest, 21)
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run
|
|
unit-tests (windows-latest, 21)
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run
|
|
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run
|
|
integration-tests (testRunAllInfProofs, windows-latest, 21)
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run
|
|
integration-tests (testRunAllFunProofs, macos-latest, 21)
Process completed with exit code 1.
|
|
integration-tests (testRunAllFunProofs, macos-latest, 21)
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run
|
|
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run
|
|
integration-tests (testRunAllFunProofs, windows-latest, 21)
Process completed with exit code 1.
|
|
integration-tests (testRunAllFunProofs, windows-latest, 21)
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run
|
|
unit-tests (macos-latest, 17)
No files were found with the provided path: **/build/test-results/*/*.xml
**/build/reports/
!**/jacocoTestReport.xml. No artifacts will be uploaded.
|
|
unit-tests (ubuntu-latest, 17)
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, 17)
No files were found with the provided path: **/build/test-results/*/*.xml
**/build/reports/
!**/jacocoTestReport.xml. No artifacts will be uploaded.
|
|
integration-tests (testProveRules, windows-latest, 21)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
integration-tests (testProveRules, macos-latest, 21)
{Z3 found. Caching works! Skip installation}
|
|
integration-tests (testProveRules, ubuntu-latest, 21)
{Z3 found. Caching works! Skip installation}
|
|
integration-tests (testRunAllInfProofs, macos-latest, 21)
{Z3 found. Caching works! Skip installation}
|
|
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
{Z3 found. Caching works! Skip installation}
|
|
integration-tests (testRunAllFunProofs, macos-latest, 21)
{Z3 found. Caching works! Skip installation}
|
|
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
{Z3 found. Caching works! Skip installation}
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
test-results-macos-latest
|
47.2 KB |
sha256:4f92959ddf9e72c4695b8a8db3d63550bf2a37bb9d2a687fc8a12b44da19b7af
|
|
|
test-results-ubuntu-latest
|
50.4 KB |
sha256:cca4fb205536c0af12ade19f6ae95b2ed5234c77e78a032395317f1c76c846b3
|
|
|
test-results-windows-latest
|
45.6 KB |
sha256:45afeb97a90badd745c0768184af7d6e0ac096250c42a4504997ea7a77545e7c
|
|