Ln.sol Formal Check

Use EVMYulLean as the source of truth for Lean-based formal verification #19

Sign in to view logs

Triggered via pull request June 26, 2026 17:51

duncancmt

synchronize #591

dcmt/formal-nopython

Status Success

Total duration 19m 33s

Artifacts –

ln-formal.yml

on: pull_request

Annotations

1 warning

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/