refactor: use create_justification in the quint specification as in the informal spec #1405
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: protobuf_canonical_encoding_conformance | |
| on: | |
| pull_request: | |
| branches: [ "*" ] | |
| push: | |
| branches: ["main"] | |
| env: | |
| CARGO_TERM_COLOR: always | |
| CARGO_INCREMENTAL: "0" | |
| RUSTFLAGS: "-Dwarnings -C linker=clang -C link-arg=-fuse-ld=lld" | |
| RUSTC_WRAPPER: "sccache" | |
| SCCACHE_GHA_ENABLED: "true" | |
| RUST_BACKTRACE: "1" | |
| jobs: | |
| conformance: | |
| runs-on: [ubuntu-22.04-github-hosted-16core] | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| path: "this" | |
| - uses: actions/checkout@v4 | |
| with: | |
| repository: "protocolbuffers/protobuf" | |
| ref: "a47a7bdc8d023467f4f0586c393597af727e1d9e" | |
| path: "protobuf" | |
| - uses: mozilla-actions/[email protected] | |
| - name: build test | |
| run: cargo build -p zksync_protobuf --example conformance_test | |
| working-directory: "this/node" | |
| - name: Cache Bazel | |
| uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cache/bazel | |
| key: ${{ runner.os }}-bazel-${{ hashFiles('.bazelversion', '.bazelrc', 'WORKSPACE', 'WORKSPACE.bazel', 'MODULE.bazel') }} | |
| restore-keys: | | |
| ${{ runner.os }}-bazel- | |
| - name: run test | |
| run: > | |
| bazel run //conformance:conformance_test_runner -- | |
| --failure_list "${{ github.workspace }}/this/node/libs/protobuf/examples/conformance_test/failure_list.txt" | |
| "${{ github.workspace }}/this/node/target/debug/examples/conformance_test" | |
| working-directory: "protobuf" |