⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.

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