mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2026-05-12 11:42:57 -04:00
Maybe dev changes?
This commit is contained in:
parent
4582e77cd4
commit
0ee5930076
1 changed files with 5 additions and 1 deletions
6
.github/workflows/auto-release.yml
vendored
6
.github/workflows/auto-release.yml
vendored
|
|
@ -99,7 +99,11 @@ jobs:
|
||||||
working-directory: ./local_kernel
|
working-directory: ./local_kernel
|
||||||
run: |
|
run: |
|
||||||
git add .
|
git add .
|
||||||
git commit -m '[AUTO][RELEASE]: Update version number in manifest.yml and source files'
|
if git diff --cached --quiet; then
|
||||||
|
echo "No changes to commit — source files and manifest already up to date."
|
||||||
|
else
|
||||||
|
git commit -m '[AUTO][RELEASE]: Update version number in manifest.yml and source files'
|
||||||
|
fi
|
||||||
git push -u origin "release-prep-$VERSION_NUMBER"
|
git push -u origin "release-prep-$VERSION_NUMBER"
|
||||||
|
|
||||||
- name: Create pull request
|
- name: Create pull request
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue