aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Collapse)Author
2022-02-04CI/GitHub: Build on GCC (#25288)Giacomo Pozzoni
* CI/GitHub: Build on GCC * Mark warnings as errors (cherry picked from commit f4dc3cbd65f42f9f144c6718d717ac003fa2edc9)
2021-07-05CI/GitHub: Update basic guideline in issue form for SQL fixesoffl
2021-07-03CI/GitHub: Add issue form for SQL fixes (#26651)Giacomo Pozzoni
2021-06-30CI/GitHub: Use issue form and add contact links (#26639)Giacomo Pozzoni
2020-12-26CI/GitHub: Apply branch label to PRs when they are openedjackpoz
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-06-26CI/GitHub: Execute issue-labeler.yml action only on TC repojackpoz
2020-05-23CI/GitHub: Add another Pull Request labeler as cron jobjackpoz
2020-05-23CI/GitHub: Remove PR GitHub Action because of current limitationsjackpoz
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-23CI/GitHub: Rename jobsjackpoz
2020-05-22CI/GitHub: Fix github actions syntaxjackpoz
2020-05-21CI/GitHub: Add action to label pull requestsjackpoz
2020-05-17CI/GitHub: Add action to label issuesjackpoz
2019-06-26Update issue templatesAokromes
since people is unable to use templates properly i remove this feature.
2019-04-03Update issue templatesAokromes