mirror of
https://github.com/logos-blockchain/lez-fuzzing.git
synced 2026-07-02 15:59:38 +00:00
52 lines
1.5 KiB
YAML
52 lines
1.5 KiB
YAML
name: LEZ upstream compatibility
|
|
|
|
# Detects drift between this fuzzing repo and the *latest* logos-execution-zone
|
|
# main, independently of PR gating (which builds against the pinned SHA in
|
|
# .github/actions/checkout-lez). A failure here means upstream main moved in a
|
|
# way that breaks the harness — bump the pinned ref once the break is resolved.
|
|
on:
|
|
schedule:
|
|
- cron: "0 4 * * *"
|
|
workflow_dispatch:
|
|
|
|
env:
|
|
RISC0_DEV_MODE: "1"
|
|
CARGO_TERM_COLOR: always
|
|
|
|
jobs:
|
|
build-against-upstream-main:
|
|
name: Build + test against LEZ main
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
|
|
- name: Checkout logos-execution-zone (main, not the pinned SHA)
|
|
uses: ./.github/actions/checkout-lez
|
|
with:
|
|
ref: main
|
|
|
|
- name: Install Rust nightly
|
|
uses: dtolnay/rust-toolchain@nightly
|
|
with:
|
|
components: llvm-tools-preview
|
|
|
|
- name: Cache cargo registry
|
|
uses: actions/cache@v4
|
|
with:
|
|
path: |
|
|
~/.cargo/registry
|
|
~/.cargo/git
|
|
target
|
|
key: lez-compat-${{ runner.os }}-${{ hashFiles('**/Cargo.lock') }}
|
|
|
|
- name: Install logos-blockchain-circuits
|
|
uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits
|
|
with:
|
|
github-token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
- name: Build shared fuzz harness against upstream main
|
|
run: cargo build -p fuzz_props --release
|
|
|
|
- name: Run fuzz_props tests against upstream main
|
|
run: cargo test -p fuzz_props --release
|