-
v0.7.272
Stablereleased this | 2226 commits to main since this release
The release record leaves the tree: releases live in the database or on an annotated tag, not in src/core/releases.json (#6645);A release never moves main: the release record leaves the tree, and a base move disjoint from a gate does not void it (#6641);The merge queue says why a gate went red, and
Downloads
-
Source code (ZIP)
0 downloads
-
Source code (TAR.GZ)
0 downloads
-
Source code (ZIP)