Skip to content
TagBot

Add utilities for extending connection for those who want to manage websocket server themselves #6981

Sign in to view logs

Add utilities for extending connection for those who want to manage websocket server themselves

Add utilities for extending connection for those who want to manage websocket server themselves #6981

Workflow file for this run

.github/workflows/TagBot.yml at d0a0b1e
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 }}