Skip to content

Commit

Permalink
fix: review
Browse files Browse the repository at this point in the history
  • Loading branch information
atanmarko committed Jul 26, 2024
1 parent c0d2f6e commit 35e615e
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/jerigon-native.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,8 +16,8 @@ env:
REGISTRY: ghcr.io

jobs:
test_jerigon_native_input_proving:
name: Native tracer input proof generation
test_jerigon_native_tracer_proving:
name: Native tracer proof generation
runs-on: zero-ci
timeout-minutes: 40
if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/jerigon-zero.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,8 +16,8 @@ env:
REGISTRY: ghcr.io

jobs:
test_jerigon_zero_input_proving:
name: Zero tracer input proof generation
test_jerigon_zero_tracer_proving:
name: Zero tracer proof generation
runs-on: zero-ci
timeout-minutes: 40
if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
Expand Down

0 comments on commit 35e615e

Please sign in to comment.