Skip to content

Fix name of CI file

Fix name of CI file #1

Triggered via push November 16, 2023 08:01
Status Success
Total duration 28s
Artifacts
code-style
19s
code-style
Fit to window
Zoom out
Zoom in