Skip to content
Lint

cleanup concolic dirs properly, add precommit #25

Sign in to view logs

cleanup concolic dirs properly, add precommit

cleanup concolic dirs properly, add precommit #25

Triggered via pull request May 20, 2025 01:37
@KRRT7KRRT7
synchronize #217
proper-cleanup
Status Success
Total duration 17s
Artifacts –

pre-commit.yaml

on: pull_request
Run pre-commit hooks
8s
Run pre-commit hooks
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Run pre-commit hooks
The `python-version` input is not set. The version of Python currently in `PATH` will be used.