p-token: Add clarifications from formal verification report #457
main.yml
on: pull_request
Set variables to be used in strategy definitions in reusable workflow
4s
main
/
Audit
25s
main
/
Spellcheck
44s
main
/
Check Client Generation
31s
Matrix: main / Format & Lint JS
Matrix: main / Format & Lint Python
Matrix: main / Format & Lint Rust
Matrix: main / Generate IDL
Matrix: main / Run Miri
Matrix: main / Check no-std alloc
Matrix: main / Check no-std core
Matrix: main / Build and test WASM JS
Matrix: main / Build WASM
Matrix: main / Bench Rust
Matrix: main / Regression Programs
Matrix: main / Test JS
Matrix: main / Test Python
Matrix: main / Test Rust
Annotations
2 errors and 1 warning
|
main / Spellcheck
Process completed with exit code 2.
|
|
main / Format & Lint Rust (pinocchio-interface)
Process completed with exit code 2.
|
|
Set variables to be used in strategy definitions in reusable workflow
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|