Skip to content

GHA updates#322

Merged
ppinchuk merged 3 commits intomainfrom
pp/gha_pta
Nov 8, 2025
Merged

GHA updates#322
ppinchuk merged 3 commits intomainfrom
pp/gha_pta

Conversation

@ppinchuk
Copy link
Collaborator

@ppinchuk ppinchuk commented Nov 8, 2025

For the auto PR to work, we can't have pull request workflows trigger on pixi lock updates. Disable that on PR GHA

@ppinchuk ppinchuk added this to the Finishing touches for OSS milestone Nov 8, 2025
@ppinchuk ppinchuk self-assigned this Nov 8, 2025
@ppinchuk ppinchuk requested a review from castelao as a code owner November 8, 2025 19:21
@ppinchuk ppinchuk added chore Maintenance work that does not impact the user github_actions Pull requests that update GitHub Actions code labels Nov 8, 2025
@ppinchuk ppinchuk merged commit 2e8080a into main Nov 8, 2025
24 of 25 checks passed
@ppinchuk ppinchuk deleted the pp/gha_pta branch November 8, 2025 19:37
@ppinchuk ppinchuk restored the pp/gha_pta branch November 8, 2025 19:37
@ppinchuk ppinchuk deleted the pp/gha_pta branch November 8, 2025 19:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance work that does not impact the user github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant