fix: add types to functions and improve docstring in proofs/utils.py #278
Triggered via pull request
October 30, 2024 15:14
raphael0202
raphael0202
opened
#540
Status
Success
Total duration
19s
Artifacts
–
label.yml
on: pull_request_target
Auto-Labelling Pull Request
2s