Skip to content
certora

Add pre-commit hook for linting and formatting #300

Sign in to view logs

Add pre-commit hook for linting and formatting

Add pre-commit hook for linting and formatting #300

Triggered via pull request October 20, 2023 14:03
@Uxio0Uxio0
synchronize #686
add-precommit
Status Success
Total duration 5m 5s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in