do not include bare resources of transitive module dependencies in as… #1614
pieter-bosscalatest.yml
on: push
Annotations
7 errors and 14 warnings
|
ScalaTest (-n MATRIX[3])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[2])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[7])
Process completed with exit code 1.
|
|
vct.test.integration.examples.TechnicalEnumSpec ► Pvl/enum return produces verdict pass with Silicon:
src/col/vct/col/ast/lang/PVLDerefImpl.scala#L11
Failed test found in:
reports/ubuntu-2/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml
Error:
java.util.NoSuchElementException: None.get
|
|
vct.test.integration.examples.TechnicalEnumSpec ► Pvl/enum inequality produces verdict pass with Silicon:
src/col/vct/col/ast/lang/PVLDerefImpl.scala#L11
Failed test found in:
reports/ubuntu-3/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml
Error:
java.util.NoSuchElementException: None.get
|
|
vct.test.integration.examples.TechnicalEnumSpec ► Pvl/enum exclusivity produces verdict pass with Silicon:
src/col/vct/col/ast/lang/PVLDerefImpl.scala#L11
Failed test found in:
reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml
reports/ubuntu-7/TEST-vct.test.integration.examples.TechnicalEnumSpec.xml
Error:
java.util.NoSuchElementException: None.get
|
|
GenerateTestReport
Failed test were found and 'fail-on-error' option is set to true
|
|
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)
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])
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[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[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[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[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/
|
|
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[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/
|
|
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[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/
|
|
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/
|
|
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
|
116 MB |
|
|
test-report-macos-latest
Expired
|
22.3 KB |
|
|
test-report-ubuntu-latest--l MATRIX
Expired
|
249 KB |
|
|
test-report-ubuntu-latest--n MATRIX[0]
Expired
|
258 KB |
|
|
test-report-ubuntu-latest--n MATRIX[1]
Expired
|
261 KB |
|
|
test-report-ubuntu-latest--n MATRIX[2]
Expired
|
269 KB |
|
|
test-report-ubuntu-latest--n MATRIX[3]
Expired
|
271 KB |
|
|
test-report-ubuntu-latest--n MATRIX[4]
Expired
|
258 KB |
|
|
test-report-ubuntu-latest--n MATRIX[5]
Expired
|
263 KB |
|
|
test-report-ubuntu-latest--n MATRIX[6]
Expired
|
260 KB |
|
|
test-report-ubuntu-latest--n MATRIX[7]
Expired
|
283 KB |
|
|
test-report-windows-latest
Expired
|
24.7 KB |
|