Debian 12 docker builder #2559

Closed
jhermans wants to merge 2 commits from jhermans/Ocideck:jhermans_debian12 into main
First-time contributor

Summary

Debian 12 docker builder

Changes

New build environment for Debian 12 using docker. This prevents installing a lot of dependencies to build ocideck.

## Summary Debian 12 docker builder ## Changes New build environment for Debian 12 using docker. This prevents installing a lot of dependencies to build ocideck.
Owner

Ya aterrizado y liberado: scripts/debian12_builder/Dockerfile + cadena de build 7bb55e1/710f1ca, verificación en runner nativo 5aa4df5, consumer-start gate e17b508, trust de certificado Forgejo 36bd388, release firmado 12d69b0 e inventario b9bb846 — todo via PR #2576 (merge a57247a). El tarball Debian 12 figura en BUILD.md línea de matriz de release y en los assets firmados (SHA256SUMS.minisig).

Ya aterrizado y liberado: `scripts/debian12_builder/Dockerfile` + cadena de build `7bb55e1`/`710f1ca`, verificación en runner nativo `5aa4df5`, consumer-start gate `e17b508`, trust de certificado Forgejo `36bd388`, release firmado `12d69b0` e inventario `b9bb846` — todo via PR #2576 (merge a57247a). El tarball Debian 12 figura en BUILD.md línea de matriz de release y en los assets firmados (SHA256SUMS.minisig).
brenno closed this pull request 2026-10-27 01:40:05 +00:00

Pull request closed

Sign in to join this conversation.
No description provided.