Skip to content
TagBot

Failure when solving the Barrier certificates example from the Tutorials using MosekTools instead of CSDP #7383

Sign in to view logs

Failure when solving the Barrier certificates example from the Tutorials using MosekTools instead of CSDP

Failure when solving the Barrier certificates example from the Tutorials using MosekTools instead of CSDP #7383

Workflow file for this run

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