Dev Submodule Sync

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-dev-submodule	5s
sync-dev-submodule-on-main	0s
	5s