Skip to content

Move PR check trigger to outside container#658

Merged
froggleston merged 1 commit into
mainfrom
frog-wf-3
Jul 16, 2025
Merged

Move PR check trigger to outside container#658
froggleston merged 1 commit into
mainfrom
frog-wf-3

Conversation

@froggleston

Copy link
Copy Markdown
Contributor

The PR check trigger in docker_pr_receive was running inside the docker container so did not have access to gh. This step now runs as its own job after docker teardown.

@github-actions

github-actions Bot commented Jul 16, 2025

Copy link
Copy Markdown

NOTE: This Pull Request (#658) was previously merged

@froggleston froggleston merged commit 25abe19 into main Jul 16, 2025
7 checks passed
@froggleston froggleston deleted the frog-wf-3 branch July 16, 2025 11:40
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.

1 participant