search

JasonGross / coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
MIT License
38 stars 9 forks source link

Bump actions/download-artifact and actions/upload-artifact from 3 to 4 #189

Closed JasonGross closed 9 months ago

JasonGross commented 9 months ago

Maybe we need them both at once?

Closes #186 Closes #188