Skip to content

chore: vendor checkdecls for the Lean 4.34.1 bump - #42

Closed
sosudo wants to merge 1 commit into
sinhp:masterfrom
sosudo:poly-01-checkdecls
Closed

chore: vendor checkdecls for the Lean 4.34.1 bump#42
sosudo wants to merge 1 commit into
sinhp:masterfrom
sosudo:poly-01-checkdecls

chore: vendor checkdecls for the Lean 4.34.1 bump

838bd3a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs