len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2026-05-12 11:42:57 -04:00
Code Issues Projects Releases Packages Wiki Activity

Revert fork repo testing changes

Browse source
This commit is contained in:
Kody Stribrny 2026-03-27 16:27:51 -07:00
parent ad5cd112c8
commit 90137a03cd
1 changed files with 2 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

7
.github/workflows/auto-release.yml vendored
View file

@ -115,11 +115,9 @@ jobs:
env:
VERSION_NUMBER: ${{ github.event.inputs.version_number }}
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
REPO_FULL_NAME: ${{ github.repository }}
working-directory: ./local_kernel
run: |
PR_URL=$(gh pr create \
--repo "$REPO_FULL_NAME" \
--base main \
--head "release-prep-$VERSION_NUMBER" \
--title "[AUTO][RELEASE]: Release $VERSION_NUMBER" \
@ -129,12 +127,11 @@ jobs:
- name: Wait for PR to be merged
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
REPO_FULL_NAME: ${{ github.repository }}
working-directory: ./local_kernel
run: |
PR_NUMBER=$(echo "$PR_URL" | grep -oE '[0-9]+$')
while true; do
STATE=$(gh pr view "$PR_NUMBER" --repo "$REPO_FULL_NAME" --json state --jq .state)
STATE=$(gh pr view "$PR_NUMBER" --json state --jq .state)
if [ "$STATE" = "MERGED" ]; then
echo "PR merged successfully"
break
@ -199,7 +196,7 @@ jobs:
working-directory: ./local_kernel
run: |
# Only delete release-prep branch if the PR was already merged
PR_STATE=$(gh pr list --repo "${{ github.repository }}" --head "release-prep-$VERSION_NUMBER" --json state --jq '.[0].state' 2>/dev/null || echo "")
PR_STATE=$(gh pr list --head "release-prep-$VERSION_NUMBER" --json state --jq '.[0].state' 2>/dev/null || echo "")
if [ "$PR_STATE" = "MERGED" ] || [ -z "$PR_STATE" ]; then
git push origin --delete "release-prep-$VERSION_NUMBER" || true
else