Skip to content

Name change for server folder to servers #2037

Name change for server folder to servers

Name change for server folder to servers #2037

Triggered via pull request November 19, 2024 19:33
Status Success
Total duration 4m 16s
Artifacts

static_code_checks.yaml

on: pull_request
run-code-check
4m 5s
run-code-check
Fit to window
Zoom out
Zoom in