Sync GitHub workflows to other repos

Merge pull request #3260 from ejenk0/issue-3247-inaccurate-info-for-f… #667

Sign in to view logs

Triggered via push October 25, 2023 23:12

github-merge-queue[bot]

develop

Status Success

Total duration 30s

Artifacts –

sync-workflows.yml

on: push