ci: bump debian-11 job to debian-12 - #982
Merged
Johannes Schindelin (dscho) merged 1 commit intoSep 8, 2026
Merged
Johannes Schindelin (dscho) merged 1 commit into
Johannes Schindelin (dscho) merged 1 commit into
Commits
Commits on Sep 6, 2026
- authored andcommitted