Skip to content

Commit 5c466a1

Browse files
committed
fix: add cbindgen to devcontainer.
1 parent 0871255 commit 5c466a1

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

Diff for: .devcontainer/Dockerfile

+1
Original file line numberDiff line numberDiff line change
@@ -98,6 +98,7 @@ RUN cargo install --locked kani-verifier && \
9898
cargo kani setup
9999
RUN cargo install --locked cargo-tarpaulin
100100
RUN cargo install --locked cargo-watch
101+
RUN cargo install --force cbindgen
101102

102103
COPY --from=qemu-builder /usr/local/ /usr/local/
103104

0 commit comments

Comments
 (0)