Skip to content

Enable integration workflows#2086

Merged
pietern merged 1 commit intomainfrom
enable-integration-workflows
Jan 6, 2025
Merged

Enable integration workflows#2086
pietern merged 1 commit intomainfrom
enable-integration-workflows

Conversation

@pietern
Copy link
Copy Markdown
Contributor

@pietern pietern commented Jan 6, 2025

Changes

This reverts commit 3155285.

These workflows were disabled in #2085.

They should work again now that we're using self-hosted runners (see #2077).

Tests

(inline)

@pietern pietern temporarily deployed to test-trigger-is January 6, 2025 15:46 — with GitHub Actions Inactive
@pietern pietern changed the title Revert "Disable integration workflows (#2085)" Enable integration workflows Jan 6, 2025
@pietern pietern enabled auto-merge January 6, 2025 15:55
@pietern pietern added this pull request to the merge queue Jan 6, 2025
Merged via the queue into main with commit 3629c9e Jan 6, 2025
@pietern pietern deleted the enable-integration-workflows branch January 6, 2025 16:12
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.

3 participants