diff --git a/.github/workflows/TagBot.yml b/.github/workflows/TagBot.yml new file mode 100644 index 00000000..f49313b6 --- /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 73c1a641..4df2ad51 100644 --- a/Project.toml +++ b/Project.toml @@ -14,5 +14,7 @@ Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" [compat] Catlab = "^0.10" +LazyArrays = "^0.20" Reexport = "0.2, 1.0" StaticArrays = "0.12, 1.0" +julia = "1.5"