summaryrefslogtreecommitdiffstats
path: root/.github/workflows/run-checker-merge.yml
AgeCommit message (Expand)Author
2023-07-04Reorganize runchecker jobsTomas Mraz
2023-06-14configure: introduce no-ecx to remove ECX related featureYi Li
2023-04-11CI: Checkout submodules to make the regression fuzz tests runTomas Mraz
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-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