💥✨ Multiple verifiers per contract #1487

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open

maxgttph wants to merge 1 commit into main from multiple_verifiers_per_contract

Open

💥✨ Multiple verifiers per contract #1487

💥✨ Multiple verifiers per contract

GitHub Actions / clippy succeeded Jul 28, 2025 in 0s

clippy

Details

Results

Message level	Amount
Internal compiler error	0
Error	0
Warning	0
Note	0
Help	0

Versions

rustc 1.88.0 (6b00bc388 2025-06-23)
cargo 1.88.0 (873a06493 2025-05-10)
cargo 1.88.0 (873a06493 2025-05-10)

View more details on GitHub Actions