Instrumented instruction (#7212) #16

Job	Run time
Lint Rust & Python code	9m 39s
Run rust tests (ubuntu-latest)	26m 32s
Run snippets and cpython tests (ubuntu-latest)	59m 12s
Ensure compilation on various targets	10m 4s
Run tests under miri	4m 29s
Run snippets and cpython tests (macos-latest)	28m 45s
Run rust tests (macos-latest)	28m 0s
Run snippets and cpython tests on wasm-wasi	3m 40s
Run snippets and cpython tests (windows-2025)	25m 43s
Check the WASM package and demo	7m 19s
Run rust tests (windows-2025)	34m 16s
	3h 57m 39s

Provide feedback