Ruff

bip: Remove CertEq proofs, which have been inlined #84

Sign in to view logs

Summary
Jobs
- ruff
Run details
- Usage
- Workflow file

Triggered via push June 21, 2024 16:59

master

Status Success

Total duration 15s

Artifacts –

main.yml

on: push