Release v0.1.1 - Merge develop into main #35

Merged
JMR-dev merged 38 commits from develop into main 2025-10-17 17:59:08 +00:00
Showing only changes of commit 152c139e81 - Show all commits
+2 -1
View File
@@ -981,10 +981,11 @@ jobs:
# Force push the rollback
if ! git push --force origin main; then
git notes -m 'release commit could not be rolled back'
echo "::error::Failed to push rollback to main"
exit 1
fi
git notes -m 'release commit rolled back'
echo "::error::Reset main branch to commit $PREVIOUS_MAIN_SHA"
echo "::error::Build failures detected:"