Skip to content

tools/ci.sh: Change to $HOME again. #90

tools/ci.sh: Change to $HOME again.

tools/ci.sh: Change to $HOME again. #90

Triggered via push June 5, 2026 13:01
Status Success
Total duration 37s
Artifacts
code-formatting
31s
code-formatting
Fit to window
Zoom out
Zoom in

Annotations

1 warning
code-formatting
The `python-version` input is not set. The version of Python currently in `PATH` will be used.