10000 treadmill-ci: do not run on forks and PRs from other repositories by lschuermann · Pull Request #4187 · tock/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

treadmill-ci: do not run on forks and PRs from other repositories #4187

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Conversation

lschuermann
Copy link
Member

Pull Request Overview

This (temporarily) disables the treadmill-ci from running on pull requests and in forks of the Tock repository.

Pull requests from forks will not have access to the required GitHub API secrets for the Treadmill CI, even if they are using an appropriate GitHub deployment environment and the workflow runs have been approved according to this environment's rules.

We don't know whether this is a bug on GitHub's end or deliberate. Either way, for now we disable this workflow to run on PRs until we have an API proxy that securely performs these GitHub API calls (adding runners and starting Treadmill jobs with those runner registration tokens), which allows this workflow to run without access to repository secrets.

For forks themselves, there is no point in running this workflow -- they won't have any Treadmill API tokens configured in their repository secrets by default.

Testing Strategy

This pull request is tested by this PR.

TODO or Help Wanted

N/A

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

Pull requests from forks will not have access to the required GitHub
API secrets for the Treadmill CI, even if they are using an
appropriate GitHub deployment environment and the workflow runs have
been approved according to this environment's rules.

We don't know whether this is a bug on GitHub's end or deliberate.
Either way, for now we disable this workflow to run on PRs until we
have an API proxy that securely performs these GitHub API
calls (adding runners and starting Treadmill jobs with those runner
registration tokens), which allows this workflow to run without access
to repository secrets.

For forks themselves, there is no point in running this workflow --
they won't have any Treadmill API tokens configured in their
repository secrets by default.
@lschuermann lschuermann mentioned this pull request Oct 1, 2024
1 task
@brghena brghena added this pull request to the merge queue Oct 2, 2024
Merged via the queue into tock:master with commit 65dda58 Oct 2, 2024
12 checks passed
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.

4 participants
0