Labeled Release
pull
Improve release process: one PR for both steps
#1810
sipa on January 26, 2026 meta/development release
sipa on January 26, 2026 meta/development release
issue
Installation check instructions in “Release process”
#1712
hebasto on July 27, 2025 meta/development release
hebasto on July 27, 2025 meta/development release
pull
release-process: Add signing of tarball plus minor improvements
#1709
real-or-random on July 22, 2025 meta/development release
real-or-random on July 22, 2025 meta/development release
pull
doc: Align documented scripts with CI ones
#1416
hebasto on September 4, 2023 development release
hebasto on September 4, 2023 development release