Repository navigation
[TS PBT] Replay and shrink external witnesses with the original oracle - #506
Open
CaelmBleidd wants to merge 4 commits into
Open
CaelmBleidd wants to merge 4 commits into
CaelmBleidd wants to merge 4 commits into
Annotations
3 warnings and 1 notice
|
Complete job
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-java@v4, github/codeql-action/upload-sarif@v3, gradle/actions/setup-gradle@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Upload Detekt SARIF report
CodeQL Action v3 will be deprecated in December 2026. Please update all occurrences of the CodeQL Action in your workflow files to v4. For more information, see https://github.blog/changelog/2025-10-28-upcoming-deprecation-of-codeql-action-v3/
|
|
Setup Java JDK
setup-java v4 is deprecated and will no longer receive updates. Please migrate to actions/setup-java@v5.
|
|
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
background
wait
wait-all
cancel
parallel
Loading