Skip to content

Restructure workflows to have single "status" job#5670

Merged
marcphilipp merged 9 commits into
mainfrom
marc/workflow-restructuring
May 15, 2026
Merged

Restructure workflows to have single "status" job#5670
marcphilipp merged 9 commits into
mainfrom
marc/workflow-restructuring

Conversation

@marcphilipp

Copy link
Copy Markdown
Member

No description provided.

@marcphilipp marcphilipp self-assigned this May 15, 2026
@marcphilipp marcphilipp force-pushed the marc/workflow-restructuring branch from 0774902 to 5f79a00 Compare May 15, 2026 10:54
@marcphilipp marcphilipp reopened this May 15, 2026
Comment thread .github/workflows/ci.yml Fixed
Comment thread .github/workflows/ci.yml Fixed
Comment thread .github/workflows/ci.yml Fixed
Comment thread .github/workflows/ci.yml Fixed
Comment thread .github/workflows/ci.yml Fixed
Comment thread .github/workflows/ci.yml Fixed
Comment thread .github/workflows/ci.yml Fixed
Comment thread .github/workflows/ci.yml Fixed
Comment thread .github/workflows/ci.yml Fixed
Comment thread .github/workflows/ci.yml Fixed
@marcphilipp marcphilipp added this pull request to the merge queue May 15, 2026
Merged via the queue into main with commit 4dbd556 May 15, 2026
20 checks passed
@marcphilipp marcphilipp deleted the marc/workflow-restructuring branch May 15, 2026 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants