Skip to content

[Merged by Bors] - ci: bump actions/checkout to v7.0.0#41084

Closed
marcelolynch wants to merge 1 commit into
leanprover-community:masterfrom
marcelolynch:ci/checkout-v7-redo
Closed

[Merged by Bors] - ci: bump actions/checkout to v7.0.0#41084
marcelolynch wants to merge 1 commit into
leanprover-community:masterfrom
marcelolynch:ci/checkout-v7-redo