Skip to content

Make CI job names shorter and more consistent #141

Make CI job names shorter and more consistent

Make CI job names shorter and more consistent #141

Triggered via push November 12, 2023 07:10
Status Success
Total duration 2m 46s
Artifacts

lint.yml

on: push