Merge pull request #13422 from jakevdp:ci-timeout

PiperOrigin-RevId: 491435108
This commit is contained in:
jax authors 2022-11-28 13:53:15 -08:00
commit 702a1084b8

View File

@ -23,7 +23,7 @@ permissions:
jobs:
lint_and_typecheck:
runs-on: ubuntu-20.04-16core
timeout-minutes: 5
timeout-minutes: 10
steps:
- name: Cancel previous
uses: styfle/cancel-workflow-action@0.11.0