bump ci to make jammy debs

pull/1909/head
Jeff 2 years ago
parent 0d0295e2dc
commit 0df26fe81c
No known key found for this signature in database
GPG Key ID: 025C02EE3A092F2D

@ -398,7 +398,7 @@ local docs_pipeline(name, image, extra_cmds=[], allow_fail=false) = {
// Deb builds:
deb_builder(docker_base + 'debian-sid-builder', 'sid', 'debian/sid'),
deb_builder(docker_base + 'debian-bullseye-builder', 'bullseye', 'debian/bullseye'),
deb_builder(docker_base + 'ubuntu-impish-builder', 'impish', 'ubuntu/impish'),
deb_builder(docker_base + 'ubuntu-jammy-builder', 'jammy', 'ubuntu/jammy'),
deb_builder(docker_base + 'ubuntu-focal-builder', 'focal', 'ubuntu/focal'),
deb_builder(docker_base + 'debian-sid-builder', 'sid', 'debian/sid', arch='arm64'),

Loading…
Cancel
Save