Remove a few todos from veymont tests #90
Annotations
2 errors and 4 warnings
vct.test.integration.examples.PermutationSpec ► Examples examples/publications/2020/permutations/evenPhase.pvl, examples/publications/2020/permutations/permutation.pvl produces verdict pass with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L127
Failed test found in:
reports/ubuntu-0/TEST-vct.test.integration.examples.PermutationSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it returned verification failures instead.
|
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.
|
Release
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1, liudonghua123/delete-release-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Release
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, liudonghua123/delete-release-action@v1, softprops/action-gh-release@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Release
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Release
Not Found
|