Skip to content

ci: change submodule_update PR branch name to use a timestamp strategy#2387

Merged
jpsim merged 1 commit intomainfrom
ci-change-submodule_update-pr-branch-name-to-use-a-timestamp-strategy
Jun 28, 2022
Merged

ci: change submodule_update PR branch name to use a timestamp strategy#2387
jpsim merged 1 commit intomainfrom
ci-change-submodule_update-pr-branch-name-to-use-a-timestamp-strategy

Commits

Commits on Jun 27, 2022