Fix CI - Githubissues

formalsec / smtml

A frontend for multiple SMT solvers in OCaml

https://formalsec.github.io/smtml/smtml/

MIT License

27 stars 8 forks source link

Fix CI #239

Closed filipeom closed 1 month ago

filipeom commented 1 month ago

Remove .git directory to avoid opam fetching submodules in CI

Closes #229