Skip to content

Merge branch 'yosupo06:master' into master #13

Merge branch 'yosupo06:master' into master

Merge branch 'yosupo06:master' into master #13

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@v2
with:
token: ${{ secrets.JUDGE_REPO_TOKEN }}
repository: yosupo06/library-checker-judge
event-type: prod-problems-deploy