Skip to content

build: Move Git submodules to extern directory #358

build: Move Git submodules to extern directory

build: Move Git submodules to extern directory #358

Triggered via pull request September 13, 2024 05:55
Status Success
Total duration 11s
Artifacts

pr.yml

on: pull_request
Validate PR title
3s
Validate PR title
Fit to window
Zoom out
Zoom in