gridkit-bot pre-commit

Install public headers #695

Sign in to view logs

Triggered via pull request October 29, 2025 20:14

synchronize #290

PhilipFackler/install-headers

Status Success

Total duration 18s

Artifacts –

pre_commit.yaml

on: pull_request

Annotations

1 warning

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