diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-09-03 11:33:29 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-09-16 16:30:46 +0200 |
| commit | d3d7b58c3743b6146b5fb818508d9eda958e8cd9 (patch) | |
| tree | 71fcf7d65e8247765c20bd5333a53cf16e99e3cd /src/test/debuginfo/enum-thinlto.rs | |
| parent | b6269f27d99d7da9e95f0b3fdc53193dc8c42fbe (diff) | |
| download | rust-d3d7b58c3743b6146b5fb818508d9eda958e8cd9.tar.gz rust-d3d7b58c3743b6146b5fb818508d9eda958e8cd9.zip | |
ci: ensure all tool maintainers are assignable on issues
GitHub only allows people explicitly listed as collaborators on the repository or who commented on the issue/PR to be assignees, failing to create the issue if non-assignable people are assigned. This adds an extra check on CI to make sure all the people listed as tool maintainers can be assigned to toolstate issues. The check won't be executed on PR builds due to the lack of a valid token.
Diffstat (limited to 'src/test/debuginfo/enum-thinlto.rs')
0 files changed, 0 insertions, 0 deletions