2020-10-09 15:02:16 +02:00
|
|
|
name: TagBot
|
|
|
|
on:
|
2021-06-21 22:19:42 +02:00
|
|
|
issue_comment:
|
|
|
|
types:
|
|
|
|
- created
|
|
|
|
workflow_dispatch:
|
2022-10-14 02:31:20 +02:00
|
|
|
inputs:
|
|
|
|
lookback:
|
|
|
|
default: 3
|
|
|
|
permissions:
|
|
|
|
contents: write
|
2020-10-09 15:02:16 +02:00
|
|
|
jobs:
|
|
|
|
TagBot:
|
2021-06-21 22:19:42 +02:00
|
|
|
if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
|
2020-10-09 15:02:16 +02:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: JuliaRegistries/TagBot@v1
|
|
|
|
with:
|
|
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
2021-06-21 22:19:42 +02:00
|
|
|
ssh: ${{ secrets.DOCUMENTER_KEY }}
|