Commit Graph

16 Commits

Author SHA1 Message Date
Giacomo Pozzoni
2e70d6b45f CI/GitHub: Install GCC 8 (#26341)
(cherry picked from commit 39bd263c72)
2022-03-01 11:37:35 +01:00
Giacomo Pozzoni
b7a3124156 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

(cherry picked from commit d7459ccced)
2022-02-28 23:13:59 +01:00
Giacomo Pozzoni
a4ee8855c0 CI/GitHub: Build on GCC (#25288)
* CI/GitHub: Build on GCC

* Mark warnings as errors

(cherry picked from commit f4dc3cbd65)
2022-02-04 00:27:11 +01:00
offl
3aaab1f878 CI/GitHub: Update basic guideline in issue form for SQL fixes 2021-07-05 16:45:29 +03:00
Giacomo Pozzoni
142306e883 CI/GitHub: Add issue form for SQL fixes (#26651) 2021-07-03 22:13:14 +02:00
Giacomo Pozzoni
24636e5627 CI/GitHub: Use issue form and add contact links (#26639) 2021-06-30 18:58:57 +02:00
jackpoz
89cfced1b5 CI/GitHub: Apply branch label to PRs when they are opened
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"
2020-12-26 14:02:14 +01:00
jackpoz
eccc015ce7 CI/GitHub: Execute issue-labeler.yml action only on TC repo 2020-06-26 22:56:10 +02:00
jackpoz
ebb6f12db8 CI/GitHub: Add another Pull Request labeler as cron job 2020-05-23 23:22:54 +02:00
jackpoz
59e8b98bef 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
2020-05-23 18:43:28 +02:00
jackpoz
58013167de CI/GitHub: Rename jobs 2020-05-23 17:56:59 +02:00
jackpoz
0435ecc8f5 CI/GitHub: Fix github actions syntax 2020-05-22 13:28:57 +02:00
jackpoz
92a289e455 CI/GitHub: Add action to label pull requests 2020-05-21 16:43:42 +02:00
jackpoz
ce10a9482a CI/GitHub: Add action to label issues 2020-05-17 18:57:51 +02:00
Aokromes
cd071ec570 Update issue templates
since people is unable to use templates properly i remove this feature.
2019-06-26 08:55:54 +02:00
Aokromes
4ddaa6cf69 Update issue templates 2019-04-03 15:19:29 +02:00