Run pre-commit and in-place update PR on push

... #4

Sign in to view logs

Triggered via push February 19, 2026 17:30

fweth

topos-definition-wip

Status Success

Total duration 37s

Artifacts –

pre-commit.yml

on: push