Skip to content

tlaplus-toolbox@1.8.0: hash check failed #12392

tlaplus-toolbox@1.8.0: hash check failed

tlaplus-toolbox@1.8.0: hash check failed #12392

Workflow file for this run

name: Issues
on:
issues:
types: [ opened, labeled ]
permissions:
# Auto hash fixing commits
contents: write
issues: write
jobs:
issueHandler:
name: IssueHandler
runs-on: windows-latest
steps:
- name: Checkout
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
- name: IssueHandler
uses: ScoopInstaller/GithubActions@main
if: github.event.action == 'opened' || (github.event.action == 'labeled' && contains(github.event.issue.labels.*.name, 'verify'))
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
SCOOP_BRANCH: develop