summaryrefslogtreecommitdiffstats
path: root/.github/workflows
AgeCommit message (Expand)Author
2020-12-19GitHub CI: Separate no-deprecated job from minimal jobRichard Levitte
2020-12-17GitHub CI: Add 'check-update' and 'check-docs'Richard Levitte
2020-12-17Github CI: run also on repository pushesTomas Mraz
2020-12-11Don't use no-asm in the Github CIsMatt Caswell
2020-12-04{.travis,ci,appveyor}.yml: Make minimal config consistent, add no-deprecated ...Dr. David von Oheimb
2020-12-03ci.yml: Let 'make' run silently (-s) with build (gcc) runs in parallel (-j4)Dr. David von Oheimb
2020-12-03ci.yml: Add 'perl configdata.pm --dump' to each configDr. David von Oheimb
2020-11-24Turn on Github CIMatt Caswell
2020-05-04CIFuzz turning dry_run offLeo Neat
2020-03-05Add CIFuzz actionLeo Neat