Skip to content
Back to pull request #540

fix: add types to functions and improve docstring in proofs/utils.py #774

Sign in to view logs

fix: add types to functions and improve docstring in proofs/utils.py

fix: add types to functions and improve docstring in proofs/utils.py #774

Triggered via pull request October 30, 2024 15:14
@raphael0202raphael0202
opened #540
improve-typing-proof
Status Success
Total duration 44s
Artifacts –

pre-commit.yml

on: pull_request
pre-commit
28s
pre-commit
Fit to window
Zoom out
Zoom in