Build Lean project

Bump mathlib to v4.17.0 #257

Sign in to view logs

Triggered via push March 5, 2025 15:01

YaelDillies

master

Status Success

Total duration 21m 18s

Artifacts –

push_master.yml

on: push