Skip to content

Commit

Permalink
test: update workflow prover fmt timeout
Browse files Browse the repository at this point in the history
  • Loading branch information
yiweichi committed Jan 6, 2025
1 parent b1ee955 commit 02ec1d9
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions .github/workflows/prover.yml
Original file line number Diff line number Diff line change
Expand Up @@ -39,10 +39,6 @@ jobs:
paths_ignore: '["**/README.md"]'

fmt:
needs: [skip_check]
if: |
github.event.pull_request.draft == false &&
(github.event.action == 'ready_for_review' || needs.skip_check.outputs.should_skip != 'true')
runs-on: ubuntu-latest
timeout-minutes: 10
steps:
Expand Down

0 comments on commit 02ec1d9

Please sign in to comment.