Skip to content

Merge pull request #1222 from Tiphereth-A/patch-1 #433

Merge pull request #1222 from Tiphereth-A/patch-1

Merge pull request #1222 from Tiphereth-A/patch-1 #433

Workflow file for this run

name: Deploy
on:
push:
branches:
- master
workflow_dispatch:
jobs:
dispatch:
runs-on: ubuntu-latest
steps:
- name: Dispatch Problems Deploy
uses: peter-evans/repository-dispatch@v3
with:
token: ${{ secrets.JUDGE_REPO_TOKEN }}
repository: yosupo06/library-checker-judge
event-type: prod-problems-deploy