Back to pull request #2497

Reflect `ignore_warnings` kompile option #9735

Sign in to view logs

Re-run triggered June 27, 2024 12:53

JuanCoRo

#2497

silence-compiler

Status Success

Total duration 1h 54m 17s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Build and Test KEVM concrete execution

Matrix: Nix

Matrix: Build and Test KEVM proofs