mirror of
https://github.com/zama-ai/tfhe-rs.git
synced 2026-01-09 22:57:59 -05:00
chore(gpu): increase timeout for valgrind run
This commit is contained in:
@@ -68,7 +68,7 @@ jobs:
|
|||||||
group: ${{ github.workflow_ref }}
|
group: ${{ github.workflow_ref }}
|
||||||
cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
|
cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
|
||||||
runs-on: ${{ needs.setup-instance.outputs.runner-name }}
|
runs-on: ${{ needs.setup-instance.outputs.runner-name }}
|
||||||
timeout-minutes: 5760
|
timeout-minutes: 14400
|
||||||
strategy:
|
strategy:
|
||||||
fail-fast: false
|
fail-fast: false
|
||||||
# explicit include-based build matrix, of known valid options
|
# explicit include-based build matrix, of known valid options
|
||||||
|
|||||||
Reference in New Issue
Block a user