Show patches with: Series = CI: Remove Travis CI, shorten names for GH tooltips, split jobs       |   5 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[v3,5/5] CI: don't run "make test" twice in one job CI: Remove Travis CI, shorten names for GH tooltips, split jobs - - - --- 2021-11-20 Ævar Arnfjörð Bjarmason Superseded
[v3,4/5] CI: use "$runs_on_pool", not "$jobname" to select packages & config CI: Remove Travis CI, shorten names for GH tooltips, split jobs - - - --- 2021-11-20 Ævar Arnfjörð Bjarmason Superseded
[v3,3/5] CI: rename the "Linux32" job to lower-case "linux32" CI: Remove Travis CI, shorten names for GH tooltips, split jobs - - - --- 2021-11-20 Ævar Arnfjörð Bjarmason Superseded
[v3,2/5] CI: use shorter names that fit in UX tooltips CI: Remove Travis CI, shorten names for GH tooltips, split jobs - - - --- 2021-11-20 Ævar Arnfjörð Bjarmason Superseded
[v3,1/5] CI: remove Travis CI support CI: Remove Travis CI, shorten names for GH tooltips, split jobs - - - --- 2021-11-20 Ævar Arnfjörð Bjarmason Superseded