Lint

chore: release 0.7.2, begin 0.7.3.dev0 development #2193

Sign in to view logs

Triggered via pull request April 16, 2026 18:56

mnriem

opened #2247

chore/release-v0.7.2

Status Success

Total duration 10s

Artifacts –

lint.yml

on: pull_request