Skip to content

Make CI job names shorter and more consistent (#40) #142

Make CI job names shorter and more consistent (#40)

Make CI job names shorter and more consistent (#40) #142

Triggered via push November 15, 2023 11:01
Status Success
Total duration 4m 1s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in