Giacomo Pozzoni
|
d7459ccced
|
CI/GitHub: Switch to GCC 8 (#25610)
* 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
|
2020-10-25 10:31:29 +01:00 |
|
Giacomo Pozzoni
|
f4dc3cbd65
|
CI/GitHub: Build on GCC (#25288)
* CI/GitHub: Build on GCC
* Mark warnings as errors
|
2020-08-21 11:37:58 +02:00 |
|
jackpoz
|
c155a68ad5
|
Ci/GitHub: Close issues when a fix gets pushed to 3.3.5 branch
Fixes #25198
|
2020-08-02 18:29:18 +02:00 |
|
jackpoz
|
6cc2b37c4d
|
CI/GitHub: Remove GitHub actions from 3.3.5 branch
|
2020-06-26 22:57:24 +02:00 |
|
jackpoz
|
cbd6c89822
|
CI/GitHub: Remove PR GitHub Action because of current limitations
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 59e8b98bef)
|
2020-05-23 18:44:18 +02:00 |
|
jackpoz
|
f46c84fd9e
|
CI/GitHub: Add action to label issues
(cherry picked from commit ce10a9482a)
CI/GitHub: Add action to label pull requests
(cherry picked from commit 92a289e455)
CI/GitHub: Fix github actions syntax
(cherry picked from commit 0435ecc8f5)
CI/GitHub: Rename jobs
(cherry picked from commit 58013167de)
|
2020-05-23 18:15:28 +02:00 |
|