diff --git a/.github/workflows/TagBot.yml b/.github/workflows/TagBot.yml new file mode 100644 index 0000000..f389611 --- /dev/null +++ b/.github/workflows/TagBot.yml @@ -0,0 +1,20 @@ +name: TagBot +on: + issue_comment: + types: + - created + workflow_dispatch: + inputs: + lookback: + default: 3 +permissions: + contents: write +jobs: + TagBot: + if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot' + runs-on: ubuntu-latest + steps: + - uses: JuliaRegistries/TagBot@v1 + with: + token: ${{ secrets.GITHUB_TOKEN }} + ssh: ${{ secrets.DOCUMENTER_KEY }} diff --git a/Project.toml b/Project.toml index 75be30b..69095c8 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "HopTB" uuid = "3804c90a-d6ae-434d-aed1-763ec3185202" -version = "0.8.0" +version = "0.8.1" [deps] Distributed = "8ba89e20-285c-5b6f-9357-94700520ee1b"