ci(sanitize): reduce timeout to 20 minutes

60 minutes is too long, even without any caching. It should at most take
10 minutes, but we add another 10 to account for any variance.
This commit is contained in:
dundargoc 2024-02-20 18:04:59 +01:00 committed by dundargoc
parent d54aa11cc3
commit aa29571d98

View file

@ -11,7 +11,7 @@ jobs:
check_undefined_behaviour:
name: Sanitizer checks
runs-on: ubuntu-latest
timeout-minutes: 60
timeout-minutes: 20
env:
TREE_SITTER: ${{ github.workspace }}/target/release/tree-sitter
steps: