remove focal deb build from ci

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

@ -399,7 +399,6 @@ local docs_pipeline(name, image, extra_cmds=[], allow_fail=false) = {
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-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'),
// Macos builds:

Loading…
Cancel
Save