Get rid of casts from Object and Null types as well #2844
superaxanderAnnotations
4 errors and 3 warnings
|
ScalaTest (-n MATRIX[1])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[5])
Process completed with exit code 1.
|
|
vct.test.integration.examples.JavaBipSpec ► JavaBIP test with files examples/publications/2023/FASE2023JavaBIP/casinoBroken/Main.java, examples/publications/2023/FASE2023JavaBIP/casinoBroken/Constants.java, examples/publications/2023/FASE2023JavaBIP/ca...:
src/col/vct/col/typerules/CoercingRewriter.scala#L51
Failed test found in:
reports/ubuntu-1/TEST-vct.test.integration.examples.JavaBipSpec.xml
reports/ubuntu-5/TEST-vct.test.integration.examples.JavaBipSpec.xml
Error:
scala.MatchError: (int,int) (of class scala.Tuple2)
|
|
vct.test.integration.examples.WandSpec ► Examples examples/concepts/wand/TreeWandSilver.java produces verdict pass with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L86
Failed test found in:
reports/ubuntu-5/TEST-vct.test.integration.examples.WandSpec.xml
Error:
org.scalatest.exceptions.TestFailedDueToTimeoutException: The code passed to failAfter did not complete within 300 seconds.
|
|
ScalaTestWindowsBasic
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use the latest version of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-09-16-notice-of-upcoming-deprecations-and-changes-in-github-actions-services/
|
|
ScalaTestWindowsBasic
The following actions uses node12 which is deprecated and will be forced to run on node16: 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/
|
|
ScalaTestWindowsBasic
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
allTests
Expired
|
125 MB |
|
|
pallas
Expired
|
7.7 MB |
|
|
test-report-macos-latest
Expired
|
2.43 KB |
|
|
test-report-ubuntu-latest--l MATRIX
Expired
|
108 KB |
|
|
test-report-ubuntu-latest--n MATRIX[0]
Expired
|
112 KB |
|
|
test-report-ubuntu-latest--n MATRIX[1]
Expired
|
115 KB |
|
|
test-report-ubuntu-latest--n MATRIX[2]
Expired
|
112 KB |
|
|
test-report-ubuntu-latest--n MATRIX[3]
Expired
|
112 KB |
|
|
test-report-ubuntu-latest--n MATRIX[4]
Expired
|
111 KB |
|
|
test-report-ubuntu-latest--n MATRIX[5]
Expired
|
115 KB |
|
|
test-report-ubuntu-latest--n MATRIX[6]
Expired
|
112 KB |
|
|
test-report-ubuntu-latest--n MATRIX[7]
Expired
|
113 KB |
|
|
test-report-windows-latest
Expired
|
3.18 KB |
|