aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2022-04-02CI/GitHub: Update basic guideline in issue form for SQL fixesoffl
2022-03-30CI/GitHub: Update basic guideline in issue form for SQL fixesoffl
2022-03-01CI/GitHub: Install GCC 8 (#26341)Giacomo Pozzoni
2022-02-28CI/GitHub: Switch to GCC 8 (#25610)Giacomo Pozzoni
2022-02-04CI/GitHub: Build on GCC (#25288)Giacomo Pozzoni
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
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
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
2019-04-03Update issue templatesAokromes