Skip to content

ci: Fix errors#461

Merged
samuelburnham merged 2 commits into
mainfrom
ci-fixes
Jun 30, 2026
Merged

ci: Fix errors#461
samuelburnham merged 2 commits into
mainfrom
ci-fixes

ci: enforce --wfail across all lean targets; fix String.dropRight dep…

479d62a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar