Age | Commit message (Collapse) | Author |
|
|
|
Apply branch label to PRs when they are opened instead of having a cron job that runs every 5 minutes. This uses the "new" github action type "pull_request_target"
(cherry picked from commit 89cfced1b568e8807ab71f7da0e3ffc5cdc10ce7)
# Conflicts:
# .github/workflows/pr-labeler.yml
|
|
* CI/GitHub: Switch to GCC 8
Build on GitHub Actions using GCC 8 as it's the oldest supported GCC
* Core/Misc: Attempt to fix GCC 8 build
|
|
* CI/GitHub: Build on GCC
* Mark warnings as errors
|
|
Fixes #25198
|
|
|
|
GitHub Actions triggered when creating a Pull Request receive a read-only token that makes them useless when trying to do anything on GitHub.
Useful links:
- https://github.com/actions/first-interaction/issues/10
- https://github.com/actions/labeler/issues/12
- https://github.com/actions/labeler#pull-request-labeler
(cherry picked from commit 59e8b98bef5cee939e684869c3a8bd6ae950ff5b)
|
|
(cherry picked from commit ce10a9482af00dd316d9866fd9bed2934c9db191)
CI/GitHub: Add action to label pull requests
(cherry picked from commit 92a289e45518e6a4c3a34fed6d28f09002e53352)
CI/GitHub: Fix github actions syntax
(cherry picked from commit 0435ecc8f52490b6d27ca9c9d3b1f6507932c824)
CI/GitHub: Rename jobs
(cherry picked from commit 58013167ded4db06f0e59c1102f6406fd65e66b5)
|