Skip to content
TagBot

Cannot remake problems if not providing full u0 and the first version did not require an initialization problem #13308

Sign in to view logs

Cannot remake problems if not providing full u0 and the first version did not require an initialization problem

Cannot remake problems if not providing full u0 and the first version did not require an initialization problem #13308

Workflow file for this run

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