Skip to content
Check Imports

Some proof golfing 🏌🏻 for folding lemmas #1874

Sign in to view logs

Some proof golfing 🏌🏻 for folding lemmas

Some proof golfing 🏌🏻 for folding lemmas #1874

Triggered via pull request July 22, 2026 10:12
@ElijahVlasovElijahVlasov
synchronize #661
NethermindEth:ElijahVlasov/folding-golf
Status Success
Total duration 8s
Artifacts –

check-imports.yml

on: pull_request
Check Library File Imports
5s
Check Library File Imports
Fit to window
Zoom out
Zoom in