切换页面时,新菜单会从底部从下向上滑动得动画,请问如何关闭 #1753
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Auto Release | |
on: | |
pull_request: | |
branches: [develop] | |
types: [opened, synchronize, reopened, closed] | |
paths: | |
- "package.json" | |
issue_comment: | |
types: [edited] | |
jobs: | |
generator: | |
runs-on: ubuntu-latest | |
if: > | |
github.event_name == 'pull_request' && | |
github.event.pull_request.merged == false && | |
startsWith(github.head_ref, 'release/') | |
steps: | |
- run: echo "The head of this PR starts with 'release/'" | |
- uses: actions/checkout@v3 | |
- uses: 94dreamer/auto-release@develop | |
id: changelog | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
- name: Add comment | |
uses: peter-evans/create-or-update-comment@v1 | |
with: | |
issue-number: ${{ github.event.pull_request.number }} | |
body: | | |
${{ steps.changelog.outputs.changelog }} | |
comment_add_log: | |
runs-on: ubuntu-latest | |
if: > | |
github.event_name == 'issue_comment' | |
&& github.event.issue.pull_request | |
&& github.event.sender.login == github.event.issue.user.login | |
&& startsWith(github.event.comment.body, '## 🌈 ') | |
steps: | |
- id: comment | |
shell: bash | |
run: | | |
result=$(curl ${{github.event.issue.pull_request.url}} -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}") | |
headrefreg='"ref": "(release/[[:digit:]]{1,2}\.[[:digit:]]{1,2}\.[[:digit:]]{1,2})",' | |
if [[ $result =~ $headrefreg ]] | |
then | |
echo "属于 release pr 的 comment ${BASH_REMATCH[1]}" | |
else | |
echo "不属于 release pr 的 comment" && exit 1 | |
fi | |
echo "::set-output name=branch::${BASH_REMATCH[1]}" | |
# zsh $match[1] | |
- uses: actions/checkout@v3 | |
with: | |
ref: ${{ steps.comment.outputs.branch }} | |
- name: Commit and push if needed | |
env: | |
BODY: ${{ github.event.comment.body }} | |
run: | | |
txt=$(cat CHANGELOG.md) | |
echo "${txt%%##*}$BODY${txt##*---}" > CHANGELOG.md | |
git add . | |
git config --local user.email "github-actions[bot]@users.noreply.github.com" | |
git config --local user.name "github-actions[bot]" | |
git commit -m "chore: changelog's changes" | |
git push | |
echo "💾 pushed changelog's changes" | |
merge_tag: | |
runs-on: ubuntu-latest | |
if: > | |
github.event_name == 'pull_request' && | |
github.event.pull_request.merged == true && | |
startsWith(github.head_ref, 'release/') | |
steps: | |
- uses: actions/checkout@v3 | |
with: | |
ref: develop | |
token: ${{ secrets.PERSONAL_TOKEN }} | |
- name: tag and push if needed | |
run: | | |
data=$(cat package.json) | |
re="\"version\": \"([^\"]*)\"" | |
[[ $data =~ $re ]] | |
echo "${BASH_REMATCH[1]}" | |
git config --local user.email "github-actions[bot]@users.noreply.github.com" | |
git config --local user.name "github-actions[bot]" | |
git tag ${BASH_REMATCH[1]} | |
git push origin ${BASH_REMATCH[1]} | |
echo "pushed tag ${BASH_REMATCH[1]}" |