Skip to content

chore: bump Poly to Lean 4.34.1 - #43

Open
sosudo wants to merge 1 commit into
sinhp:masterfrom
sosudo:lean-4.34.1-bump
Open

chore: bump Poly to Lean 4.34.1#43
sosudo wants to merge 1 commit into
sinhp:masterfrom
sosudo:lean-4.34.1-bump

chore: bump Poly to Lean 4.34.1

4e69398
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs