Skip to content

cleanup concolic dirs properly, add precommit #30

cleanup concolic dirs properly, add precommit

cleanup concolic dirs properly, add precommit #30

Triggered via pull request May 20, 2025 05:25
@KRRT7KRRT7
synchronize #217
proper-cleanup
Status Success
Total duration 23s
Artifacts

pre-commit.yaml

on: pull_request
Run pre-commit hooks
12s
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.