ci

Correct a nit picked (quite correctly) by copilot #776

Sign in to view logs

Triggered via push October 13, 2025 18:34

issue/1397_follow-up

Status Success

Total duration 11m 35s

Artifacts –

ci.yaml

on: push

Matrix: ci