gridkit-bot pre-commit

Install public headers #694

Sign in to view logs

Triggered via pull request October 29, 2025 20:04

synchronize #290

PhilipFackler/install-headers

Status Success

Total duration 17s

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.