Sync GitHub workflows to other repos

Merge pull request #3252 from Shraeyas/develop #671

Sign in to view logs

Triggered via push October 31, 2023 15:04

github-merge-queue[bot]

develop

Status Success

Total duration 42s

Artifacts –

sync-workflows.yml

on: push