CI

Bump to Lean v4.16.0 stable #136

Sign in to view logs

Triggered via pull request February 3, 2025 10:25

opened #146

stable

Status Success

Total duration 13m 42s

Artifacts –

push_pr.yml

on: pull_request

Matrix: Build