Sync GitHub workflows to other repos

Merge pull request #3280 from centerofci/remove_old_repo_from_workflows #673

Sign in to view logs

Triggered via push November 1, 2023 20:40

github-merge-queue[bot]

develop

Status Success

Total duration 27s

Artifacts –

sync-workflows.yml

on: push