Skip to content

chore(deps): track CSLib main and Lean v4.36.0-rc2 - #1653

Merged
SamuelSchlesinger merged 7 commits into
mainfrom
work/cslib-rc2-sync-1648-codex
Oct 30, 2026
Merged

SamuelSchlesinger merged 7 commits into
mainfrom
work/cslib-rc2-sync-1648-codex

Merge commit '96fd02a85579bbbce97c02110ed80da02684cb2e' into work/csl…

0d38523
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Oct 29, 2026 in 3m 22s