Skip to content
Propose PR

Too many "mathlib" folders #194

Sign in to view logs

Too many "mathlib" folders

Too many "mathlib" folders #194

Triggered via issue December 8, 2024 13:14
@YaelDilliesYaelDillies
commented on #247 39b6469
Status Skipped
Total duration 3s
Artifacts –

03-propose-pr.yml

on: issue_comment
propose_pr
0s
propose_pr
Fit to window
Zoom out
Zoom in