verification-helper がタイムアウトするやつ

verification-helper で、oj-verify all をしても 10 分でタイムアウトして verification が終わらない問題が発生して、困る。 今回、自分のライブラリの verification が終わらなかったので、タイムアウトを設定して回避した。

.github/workflows/verify.yml を変更してこんなふうにすると、動く。

name: verify

on: push

jobs:
  verify:
    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v1

    - name: Set up Python
      uses: actions/setup-python@v1

    - name: Install dependencies
      run: pip3 install -U online-judge-verify-helper

    - name: Run tests
      env:
        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        YUKICODER_TOKEN: ${{ secrets.YUKICODER_TOKEN }}
        GH_PAT: ${{ secrets.GH_PAT }}
      run: oj-verify all --timeout=6000