Richard Levitte
|
e3577adddf
GitHub CI: Separate no-deprecated job from minimal job
|
3 سال پیش |
Richard Levitte
|
8175476b81
GitHub CI: Add 'check-update' and 'check-docs'
|
3 سال پیش |
Tomas Mraz
|
4159ebca3c
Github CI: run also on repository pushes
|
3 سال پیش |
Matt Caswell
|
a67c70107c
Don't use no-asm in the Github CIs
|
4 سال پیش |
Dr. David von Oheimb
|
06f81af8fc
{.travis,ci,appveyor}.yml: Make minimal config consistent, add no-deprecated no-ec no-ktls no-siv
|
4 سال پیش |
Dr. David von Oheimb
|
ae290d8f0c
ci.yml: Let 'make' run silently (-s) with build (gcc) runs in parallel (-j4)
|
4 سال پیش |
Dr. David von Oheimb
|
6a7848bc9e
ci.yml: Add 'perl configdata.pm --dump' to each config
|
4 سال پیش |
Matt Caswell
|
9524a3089c
Turn on Github CI
|
4 سال پیش |