Skip to content

Optional Tests

Optional Tests #87

Triggered via schedule March 31, 2024 01:12
Status Success
Total duration 17m 10s
Artifacts 1

opttest.yml

on: schedule
Matrix: optional-tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
optional-tests (ubuntu-latest, 21, :key.core.symbolic_execution:test)
Gradle build failed: see console output for details
optional-tests (windows-latest, 21, :key.core.symbolic_execution:test)
Gradle build failed: see console output for details
optional-tests (ubuntu-latest, 21, :key.core.proof_references:test)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2, actions/upload-artifact@v3.1.1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
optional-tests (windows-latest, 21, :key.core.proof_references:test)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2, actions/upload-artifact@v3.1.1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
optional-tests (ubuntu-latest, 21, :key.core.symbolic_execution:test)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2, actions/upload-artifact@v3.1.1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
optional-tests (windows-latest, 21, :key.core.symbolic_execution:test)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-java@v3, gradle/gradle-build-action@v2.4.2, actions/upload-artifact@v3.1.1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime
Name Size
test-results Expired
3.81 MB