diff --git a/.github/workflows/TagBot.yml b/.github/workflows/TagBot.yml new file mode 100644 index 0000000..f49313b --- /dev/null +++ b/.github/workflows/TagBot.yml @@ -0,0 +1,15 @@ +name: TagBot +on: + issue_comment: + types: + - created + workflow_dispatch: +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 60e45d6..cec3272 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "Pavito" uuid = "cd433a01-47d1-575d-afb7-6db927ee8d8f" repo = "https://github.com/jump-dev/Pavito.jl.git" -version = "0.3.1" +version = "0.3.2" [deps] MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"