proofs(lean4): mechanize the L1/L2 core (MECH-1 totality+stability, MECH-2 complete) with hard gates · hyperpolymath/systemet@0eb7afe

Triggered via pull request July 21, 2026 12:49

opened #17

proofs/lean4-l1-l2

Status Failure

Total duration 12m 55s

Artifacts –

sonarqube.yml

on: pull_request

1 error and 1 warning

Action failed: The process '/opt/hostedtoolcache/sonar-scanner-cli/8.1.0-build.6389/linux-x64/bin/sonar-scanner' failed with exit code 3

Running this GitHub Action without SONAR_TOKEN is not recommended