Build and Test

Update to Lean v4.16.0 #399

Sign in to view logs

Triggered via push February 11, 2025 09:22

main

Status Success

Total duration 4m 52s

Artifacts –

ci.yml

on: push