Skip to content

fix: change dev submodule URL from SSH to HTTPS for CI #3

fix: change dev submodule URL from SSH to HTTPS for CI

fix: change dev submodule URL from SSH to HTTPS for CI #3

Triggered via pull request January 13, 2026 18:34
Status Success
Total duration 8s
Artifacts

dev-submodule-sync.yml

on: pull_request
verify-dev-submodule
5s
verify-dev-submodule
sync-dev-submodule-on-main
0s
sync-dev-submodule-on-main
Fit to window
Zoom out
Zoom in