CI: Upgrade actions to v4

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

673 stars 44 forks source link

Closed RyanGlScott closed 1 month ago

RyanGlScott commented 1 month ago

By upgrading the upload-artifact version in particular, this fixes #1250.