CI Tests

chore: Update Lean to v4.31.0 #69

Sign in to view logs

Triggered via pull request July 17, 2026 20:09

opened #79

lean-v4.31.0

Status Success

Total duration 1m 44s

Artifacts –

ci.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: cachix/cachix-action@v16. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/