/
vshmidt
/
streamlit
Обзор
Документация
Войти
/
vshmidt
/
streamlit
Код
Запросы
0
Задачи
Вики
Пакеты
0
Релизы
0
Аналитика
Безопасность
develop
.github/workflows/community-voting.yml
63 строки
2 KB
dependabot[bot]
Bump actions/github-script from 7 to 8 (#12458)
08 сен 2025, 14:13
Не верифицирован
08 сен 2025, 14:13
8100ae8
Код
Авторство
О чём код?
# This workflow automatically comments on issues labeled with 'type:enhancement' or 'type:bug' # and adds a thumbs-up reaction to the issue to encourage community voting. name: Community Voting on: issues: types: - labeled jobs: add-enhancement-comment: if: github.event.label.name == 'type:enhancement' runs-on: ubuntu-latest permissions: issues: write steps: - name: Add comment to issue run: gh issue comment ${{ github.event.issue.html_url }} --body "$ISSUE_BODY" env: GH_TOKEN: ${{ github.token }} ISSUE_BODY: | **To help Streamlit prioritize this feature, react with a 👍 (thumbs up emoji) to the initial post.** Your vote helps us identify which enhancements matter most to our users.  - name: Upvote issue uses: actions/github-script@v8 with: script: | await github.rest.reactions.createForIssue({ owner: context.repo.owner, repo: context.repo.repo, issue_number: context.issue.number, content: '+1' }); console.log(`Added +1 reaction to issue #${context.issue.number}`); add-bug-comment: if: github.event.label.name == 'type:bug' runs-on: ubuntu-latest permissions: issues: write steps: - name: Add comment to issue run: gh issue comment ${{ github.event.issue.html_url }} --body "$ISSUE_BODY" env: GH_TOKEN: ${{ github.token }} ISSUE_BODY: | **If this issue affects you, please react with a 👍 (thumbs up emoji) to the initial post.** Your feedback helps us prioritize which bugs to investigate and address first.  - name: Upvote issue uses: actions/github-script@v8 with: script: | await github.rest.reactions.createForIssue({ owner: context.repo.owner, repo: context.repo.repo, issue_number: context.issue.number, content: '+1' }); console.log(`Added +1 reaction to issue #${context.issue.number}`);