summaryrefslogtreecommitdiffstats
path: root/.github/workflows/run-checker-merge.yml
AgeCommit message (Expand)Author
2024-06-04Copyright year updatesTomas Mraz
2024-03-15Fix ASLR to be smaller during asan/tsan/ubsan runsNeil Horman
2023-09-19Copyright year updatesRichard Levitte
2023-09-05Bump actions/checkout from 2 to 4dependabot[bot]
2022-12-12Run-checker merge CI: Memleak test does not work without ubsanTomas Mraz
2022-12-12Revert "Run-checker merge CI: Replace no-shared with no-modules"Tomas Mraz
2022-12-09Run-checker merge CI: Replace no-shared with no-modulesTomas Mraz
2022-11-03Update GitHub actions as suggested by dependabotTomas Mraz
2022-10-11Update copyright yearMatt Caswell
2022-08-23Always automatically add -DPEDANTIC with enable-ubsanTomas Mraz
2022-07-13ci: add GitHub token permissions for workflowsVarun Sharma
2021-09-21ci: add copyright header to CI scriptsPauli
2021-08-05CI: remove spurious blank linesPauli
2021-08-05ci: separate the config dump from the configuration commandPauli
2021-05-14Add --banner config optionRich Salz
2021-05-12Run-checker converted to GitHub ActionsPauli