Skip to content

[WIP] cargo-checkct - #796

Closed
tarcieri wants to merge 3 commits into
masterfrom
cargo-checkct
Closed

tarcieri wants to merge 3 commits into
masterfrom
cargo-checkct

Conversation

@tarcieri

Copy link
Copy Markdown
Member

Wrapper for BINSEC providing Rust drivers and a way to write tests for constant-time operation:

https://github.com/Ledger-Donjon/cargo-checkct

This PR adds a GitHub workflow which runs cargo-checkct on every push event

@dvdplm

dvdplm commented Apr 4, 2025

Copy link
Copy Markdown
Contributor

@tarcieri Did you get this to actually work in the end?

@tarcieri

tarcieri commented Apr 4, 2025

Copy link
Copy Markdown
Member Author

Nope, I wasn't able to get bitwuzla properly installed.

Also: Ledger-Donjon/cargo-checkct#15

Comment thread .github/workflows/cargo-checkct.yml Resolved
Comment thread .github/workflows/cargo-checkct.yml Resolved
tarcieri and others added 2 commits May 29, 2025 09:53
Co-authored-by: Baptistin Boilot <159285987+bboilot-ledger@users.noreply.github.com>
Hello @tarcieri 👋 

This PR should fix your action. It'll still
[fail](https://github.com/bboilot-ledger/crypto-bigint/actions/runs/15332758658/job/43143257617?pr=1)
because the driver hasn't been implemented yet.
I am not a fan of the modification I had to do to the manifest in order
for the tool to run. I'll discuss this matter with the team.
@tarcieri

Copy link
Copy Markdown
Member Author

Closing in favor of #1358, which uses the new reusable workflow to get cargo checkct / BINSEC installed

@tarcieri tarcieri closed this Oct 22, 2026
@tarcieri
tarcieri deleted the cargo-checkct branch October 22, 2026 21:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants