Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 2 additions & 11 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,8 @@ on:
- stable
pull_request:

permissions: read-all

jobs:
tests:
name: tests
Expand All @@ -18,7 +20,6 @@ jobs:
- name: Setup
run: |
rustup set profile minimal
git config --global --add url."https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]/".insteadOf https://github.com/
- name: Compile
run: cargo build --verbose
# - name: tests
Expand All @@ -36,7 +37,6 @@ jobs:
- name: Setup
run: |
rustup set profile minimal
git config --global --add url."https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]/".insteadOf https://github.com/
- name: Rustfmt Check
uses: actions-rust-lang/rustfmt@v1

Expand All @@ -51,7 +51,6 @@ jobs:
- name: Setup
run: |
rustup set profile minimal
git config --global --add url."https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]/".insteadOf https://github.com/
- name: tests
working-directory: ./circuit_defs/opcode_tests
run: cargo test --profile test-release --lib --package opcode_tests
Expand All @@ -77,7 +76,6 @@ jobs:
- name: Setup
run: |
rustup set profile minimal
git config --global --add url."https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]/".insteadOf https://github.com/
- name: Run Blake(fibonacci) and prove
working-directory: execution_utils
run: cargo test --release -- --nocapture --exact test_prove_fib
Expand All @@ -102,7 +100,6 @@ jobs:
- name: Setup
run: |
rustup set profile minimal
git config --global --add url."https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]/".insteadOf https://github.com/
- name: Compile
working-directory: ./risc_v_simulator
run: cargo build --features delegation --verbose
Expand All @@ -121,7 +118,6 @@ jobs:
- name: Setup
run: |
rustup set profile default
git config --global --add url."https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]/".insteadOf https://github.com/
- name: Regenerate verifiers
run: ./recreate_verifiers.sh
- name: Check if anything has changed
Expand Down Expand Up @@ -150,7 +146,6 @@ jobs:
# cargo install cargo-binutils
# rustup component add llvm-tools-preview
# rustup component add rust-src
# git config --global --add url."https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]/".insteadOf https://github.com/
# - name: Regenerate verifiers
# working-directory: ./tools/verifier
# run: ./build.sh
Expand All @@ -176,7 +171,6 @@ jobs:
- name: Setup
run: |
rustup set profile minimal
git config --global --add url."https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]/".insteadOf https://github.com/
- name: Compile
run: cargo build --profile cli -p cli --features include_verifiers
- uses: actions/upload-artifact@v4
Expand All @@ -195,7 +189,6 @@ jobs:
- name: Setup
run: |
rustup set profile minimal
git config --global --add url."https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]/".insteadOf https://github.com/
- name: Compile
run: cargo build --release -p cli --no-default-features
- uses: actions/upload-artifact@v4
Expand All @@ -215,7 +208,6 @@ jobs:
- name: Setup
run: |
rustup set profile minimal
git config --global --add url."https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]/".insteadOf https://github.com/
- name: Compile
run: RUSTFLAGS="-C target-feature=+avx512f" cargo build --release -p cli --no-default-features
- uses: actions/upload-artifact@v4
Expand All @@ -238,7 +230,6 @@ jobs:
cargo install cargo-binutils
rustup component add llvm-tools-preview
rustup component add rust-src
git config --global --add url."https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]/".insteadOf https://github.com/
- name: ObjCopy
working-directory: tools/verifier
run: cargo objcopy --profile cli -Z build-std=core,panic_abort,alloc -Z build-std-features=panic_immediate_abort -- -O binary app.bin
Expand Down
3 changes: 1 addition & 2 deletions .github/workflows/deny.yml
Original file line number Diff line number Diff line change
@@ -1,10 +1,9 @@
name: Cargo deny check
on: pull_request
permissions: read-all
jobs:
cargo-deny:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: EmbarkStudios/cargo-deny-action@v1
with:
credentials: https://${{ secrets.ZKSYNC_ADMIN_BOT_ORG_REPO_WRITE }}:[email protected]
5 changes: 2 additions & 3 deletions .github/workflows/pr-title.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,12 +7,11 @@ on:
- edited
- synchronize

permissions: read-all

jobs:
lint:
runs-on: ubuntu-latest
permissions:
statuses: write
pull-requests: write
steps:
- uses: amannn/action-semantic-pull-request@v5
id: lint_pr_title
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/secrets_scanner.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@ name: Leaked Secrets Scan
on:
pull_request:
merge_group:
permissions: read-all
jobs:
TruffleHog:
runs-on: ubuntu-latest
Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/typos.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@ name: Codespell

on: pull_request

permissions: read-all

jobs:
typos:
runs-on: ubuntu-latest
Expand Down
Loading