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"