Skip to content

Issue #562: Reorganise/rename files #773

Issue #562: Reorganise/rename files

Issue #562: Reorganise/rename files #773

Triggered via pull request March 8, 2024 18:12
Status Success
Total duration 11m 58s
Artifacts

lint.yaml

on: pull_request
lint-changed-files
11m 50s
lint-changed-files
Fit to window
Zoom out
Zoom in