Call dispatch in framedproof #117
sakehlscalatest.yml
on: push
Annotations
9 errors and 27 warnings
|
ScalaTest (-l MATRIX)
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[1])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[5])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[7])
Process completed with exit code 1.
|
|
vct.test.integration.examples.JavaBipSpec ► JavaBIP test with files examples/publications/2023/JavaBIP/casinoBroken/Main.java, examples/publications/2023/JavaBIP/casinoBroken/Constants.java, examples/publications/2023/JavaBIP/casinoBroken/Player.java, ...:
test/main/vct/test/integration/helper/JavaBipSpecHelper.scala#L48
Failed test found in:
reports/ubuntu-1/TEST-vct.test.integration.examples.JavaBipSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Test completed with an unexpected result. Expected bipComponentInvariantNotMaintained:false, bipComponentInvariantNotMaintained:false, bipStateInvariantNotMaintained:false, bipStateInvariantNotMaintained:false, bipComponentInvariantNotMaintained:false, but got noSuchName. The report is missing.
|
|
vct.test.integration.examples.JavaBipSpec ► JavaBIP test with files examples/publications/2023/JavaBIP/casinoAdjusted/Main.java, examples/publications/2023/JavaBIP/casinoAdjusted/Constants.java, examples/publications/2023/JavaBIP/casinoAdjusted/Player....:
test/main/vct/test/integration/helper/JavaBipSpecHelper.scala#L48
Failed test found in:
reports/ubuntu-5/TEST-vct.test.integration.examples.JavaBipSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Test completed with an unexpected result. Expected pass but got noSuchName. The report is missing.
|
|
vct.test.integration.examples.TechnicalJavaSpec ► Java.lang classes shld be reachable without imports produces verdict pass with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L117
Failed test found in:
reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalJavaSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it returned an error with code noSuchName instead.
|
|
vct.test.integration.meta.ExampleCoverage ► should cover all examples in the examples directory:
test/main/vct/test/integration/meta/ExampleCoverage.scala#L75
Failed test found in:
reports/ubuntu-x/TEST-vct.test.integration.meta.ExampleCoverage.xml
Error:
org.scalatest.exceptions.TestFailedException: The test suite does not have a test entry that processes the above files.
|
|
GenerateTestReport
Failed test were found and 'fail-on-error' option is set to true
|
|
Compile
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/cache@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Compile
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ScalaTest (-l MATRIX)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ScalaTest (-l MATRIX)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ScalaTest (-n MATRIX[0])
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ScalaTest (-n MATRIX[0])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ScalaTestMacOsBasic
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ScalaTestMacOsBasic
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ScalaTest (-n MATRIX[2])
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ScalaTest (-n MATRIX[2])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ScalaTest (-n MATRIX[6])
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ScalaTest (-n MATRIX[6])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ScalaTest (-n MATRIX[4])
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ScalaTest (-n MATRIX[4])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ScalaTestWindowsBasic
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/cache@v2, actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ScalaTestWindowsBasic
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ScalaTest (-n MATRIX[1])
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ScalaTest (-n MATRIX[1])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ScalaTest (-n MATRIX[3])
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ScalaTest (-n MATRIX[3])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ScalaTest (-n MATRIX[5])
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ScalaTest (-n MATRIX[5])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
ScalaTest (-n MATRIX[7])
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
ScalaTest (-n MATRIX[7])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
GenerateTestReport
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/download-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
GenerateTestReport
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
GenerateTestReport
Test report summary exceeded limit of 65535 bytes and will be trimmed
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
allTests
Expired
|
117 MB |
|
|
test-report-macos-latest
Expired
|
22.3 KB |
|
|
test-report-ubuntu-latest--l MATRIX
Expired
|
284 KB |
|
|
test-report-ubuntu-latest--n MATRIX[0]
Expired
|
292 KB |
|
|
test-report-ubuntu-latest--n MATRIX[1]
Expired
|
304 KB |
|
|
test-report-ubuntu-latest--n MATRIX[2]
Expired
|
296 KB |
|
|
test-report-ubuntu-latest--n MATRIX[3]
Expired
|
298 KB |
|
|
test-report-ubuntu-latest--n MATRIX[4]
Expired
|
292 KB |
|
|
test-report-ubuntu-latest--n MATRIX[5]
Expired
|
305 KB |
|
|
test-report-ubuntu-latest--n MATRIX[6]
Expired
|
295 KB |
|
|
test-report-ubuntu-latest--n MATRIX[7]
Expired
|
304 KB |
|
|
test-report-windows-latest
Expired
|
24.7 KB |
|