chiark / gitweb /
Merge branch 'minimal-nightly' into 'main'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 May 2026 10:51:43 +0000 (10:51 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 May 2026 10:51:43 +0000 (10:51 +0000)
commit2f918b429e7fab2424ac76d331168955d14fa251
tree9422b5c0b6095ec6fa5ca22047f090c920f999c5
parent86f84d64c226182ceca1fe7ef59f107a08754bf2
parentf830e272f6eebe185339555670a202f0340c64d1
Merge branch 'minimal-nightly' into 'main'

CI: Update pinned nightly for minimal-versions-nightly

See merge request iwj/hippotat!69