Bump to actions-checkout@v4

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

BSD 3-Clause "New" or "Revised" License

132 stars 60 forks source link

Closed philderbeast closed 3 months ago

philderbeast commented 3 months ago

Also remove submodules as we don't use those.

facundominguez commented 3 months ago

Thanks @philderbeast!