Skip to content
Sync GitHub workflows to other repos

Merge pull request #3295 from centerofci/simplify-dockerfile-and-dev-env #677

Sign in to view logs

Merge pull request #3295 from centerofci/simplify-dockerfile-and-dev-env

Merge pull request #3295 from centerofci/simplify-dockerfile-and-dev-env #677

Triggered via push November 6, 2023 23:42
@github-merge-queuegithub-merge-queue[bot]
pushed 5fb2019
develop
Status Success
Total duration 28s
Artifacts –

sync-workflows.yml

on: push
sync_workflows
20s
sync_workflows
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
sync_workflows
Source .github/workflows/stale.yml not found
sync_workflows
Source .github/workflows/stale.yml not found
sync_workflows
Source .github/workflows/stale.yml not found
sync_workflows
Source .github/workflows/stale.yml not found
sync_workflows
Source .github/workflows/stale.yml not found
sync_workflows
Source .github/workflows/stale.yml not found
sync_workflows
Source .github/workflows/stale.yml not found
sync_workflows
Source .github/workflows/stale.yml not found