Skip to content

Reopened: Extend input declarations in Z# to support structs #864

Reopened: Extend input declarations in Z# to support structs

Reopened: Extend input declarations in Z# to support structs #864

Annotations

1 error and 4 warnings

build

failed Feb 6, 2025 in 7m 32s
Set up job
2s
Run actions/checkout@v3
1s
Install dependencies
51s
Run actions-rs/toolchain@v1
0s
Run Swatinem/rust-cache@v2
0s
No default features pushed
0s
Set all features on
0s
Install python reqs
1s
Format
2s
Check
6m 31s
Lint
0s
Document
0s
Build, then Test
0s
Post Run Swatinem/rust-cache@v2
0s
Post Run actions/checkout@v3
0s
Complete job
0s