chore(ci): update to checkout@v4

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

http://homotopytypetheory.org/

Other

1.23k stars 185 forks source link

Closed Alizter closed 3 weeks ago

Alizter commented 3 weeks ago

I'll merge this as soon as it is green since it is just a routine version bump.