Commit Graph

10 Commits

Author SHA1 Message Date
Shauren
6817ad93d7 Build: Update required GCC version to 11.1
(cherry picked from commit 16853af7c8)
2024-04-10 16:16:38 +02:00
Shauren
97c977d0fb Build: Update required compilers to current debian stable and VS 2022
GCC: 10
Clang: 11
MSVC: 2022
(cherry picked from commit 0a1b40241a)
2023-08-12 14:24:30 +02:00
Giacomo Pozzoni
39bd263c72 CI/GitHub: Install GCC 8 (#26341) 2021-04-03 21:27:06 +02:00
jackpoz
e8b78acbee 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"

(cherry picked from commit 89cfced1b5)

# Conflicts:
#	.github/workflows/pr-labeler.yml
2020-12-26 14:04:20 +01:00
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