39220566772
0%
main: 0%

Ran 19 Oct 2026 08:10AM UTC

Jobs 1

Files 0

Run time 1min

Badge

Embed ▾

Committed 19 Oct 2026 08:06AM UTC coverage: 0.0%. Remained the same

Build # 39220566772

Build Type

push

github

Committed by

juliaklaue

Commit Message

refactor(evm): rename AbiLayerA to DecoderFaithfulness, add FV overview

Renames the Lean library and its theorems (layerA_* -> decoder_*) and makes
packages/evm/formal the home of the formal-verification initiative: a top
README tracks proven properties and their theorems in math notation, and
the decoder details move to DecoderFaithfulness/README.md.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01DvEkN8jKo5TwdxzerGzeoG

Coverage Stats

0 of 0 relevant lines covered (NaN%)

0.0 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	39220566772.1	19 Oct 2026 08:10AM UTC	0	0.0	GitHub Action Run

Source Files on build 39220566772

Detailed source file information is not available for this build.

gnosis / zodiac-modifier-roles / 39220566772
0%
main: 0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 39220566772

gnosis / zodiac-modifier-roles / 39220566772 0% main: 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 39220566772

gnosis / zodiac-modifier-roles / 39220566772
0%
main: 0%

README BADGES
x