Remove the 'skip ci' annotation from the release process (#4476)
With branch protections enabled that would otherwise mean that the PR cannot be landed since CI is now required to run. These date-update PRs typically come at odd off-hours for Wasmtime anyway so it should be fine to run CI.
This commit is contained in:
2
.github/workflows/release-process.yml
vendored
2
.github/workflows/release-process.yml
vendored
@@ -119,8 +119,6 @@ jobs:
|
|||||||
|
|
||||||
git commit -a -F-<<EOF
|
git commit -a -F-<<EOF
|
||||||
Update release date of Wasmtime $cur
|
Update release date of Wasmtime $cur
|
||||||
|
|
||||||
[skip ci]
|
|
||||||
EOF
|
EOF
|
||||||
git push origin HEAD:ci/release-date-for-$cur
|
git push origin HEAD:ci/release-date-for-$cur
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user