Skip to content

Order of relationships written to JSON file may be different from the order in which they were read #45

Order of relationships written to JSON file may be different from the order in which they were read

Order of relationships written to JSON file may be different from the order in which they were read #45

Workflow file for this run

name: TagBot
on:
issue_comment:
types:
- created
workflow_dispatch:
inputs:
lookback:
default: 3
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 }}