Show patches with: Series = CI: Remove Travis CI, shorten names for GH tooltips, split jobs       |   6 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[v2,6/6] CI: run "documentation" via run-build-and-test.sh CI: Remove Travis CI, shorten names for GH tooltips, split jobs - - - --- 2021-11-20 Ævar Arnfjörð Bjarmason Superseded
[v2,5/6] 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
[v2,4/6] 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
[v2,3/6] 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
[v2,2/6] 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
[v2,1/6] CI: remove Travis CI support CI: Remove Travis CI, shorten names for GH tooltips, split jobs - - - --- 2021-11-20 Ævar Arnfjörð Bjarmason Superseded