Main

p-token: Add clarifications from formal verification report #457

Job	Run time
Set variables to be used in strategy definitions in reusable workflow	4s
main / Audit	25s
main / Format & Lint JS (clients-js)	35s
main / Check Client Generation	31s
main / Build Programs	2m 7s
main / Build WASM (pinocchio-interface)	23s
main / Format & Lint Rust (interface)	1m 3s
main / Format & Lint Rust (pinocchio-interface)	55s
main / Build WASM (program)	45s
main / Build WASM (pinocchio-program)	22s
main / Format & Lint Rust (program)	1m 45s
main / Build WASM (interface)	32s
main / Format & Lint Rust (pinocchio-program)	3m 33s
main / Check no-std core	0s
main / Spellcheck	44s
main / Generate IDL	0s
main / Format & Lint Python	0s
main / Build and test WASM JS	0s
main / Run Miri	0s
main / Check no-std alloc	0s
main / Test Rust (pinocchio-interface)	41s
main / Test JS (clients-js)	56s
main / Test Rust (program)	57s
main / Test Rust (pinocchio-program)	3m 41s
main / Test Rust (interface)	47s
main / Regression Programs (pinocchio-program)	2m 41s
main / Bench Rust	0s
main / Test Python	0s
	23m 27s

Provide feedback