From dc60fcb2f7ff66b200baf0972c95c881d905cc6a Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 17 Nov 2025 23:23:10 -1000
Subject: [PATCH] ;tools: just oldest

---
 Justfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Justfile b/Justfile
index 7144a9d6c..48c0d04f7 100644
--- a/Justfile
+++ b/Justfile
@@ -1009,6 +1009,10 @@ reltags:
     git tag --force --sign `cat .version` -m "Release `cat .version`"
     echo "Release has been tagged!"
 
+# Push the current HEAD to github oldest branch, testing the build with oldest supported GHC.
+@oldest:
+    git push -f origin HEAD:oldest
+
 # Push the current HEAD to github binaries branch, generating platform binaries.
 @ghbin:
     # assumes the github remote is named "origin"