Skip to content

add coverage ci

add coverage ci #262

Triggered via push September 5, 2025 21:06
Status Success
Total duration 7m 52s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors
ledger-lint / lint
WARNING: The directory '/github/home/.cache/pip' or its parent directory is not owned or is not writable by the current user. The cache has been disabled. Check the permissions and owner of that directory. If executing pip with sudo, you should use sudo's -H flag.
ledger-lint / lint
WARNING: Running pip as the 'root' user can result in broken permissions and conflicting behaviour with the system package manager. It is recommended to use a virtual environment instead: https://pip.pypa.io/warnings/venv