Closed KenSakayori closed 5 months ago
Adds a CI environment using GitHub Actions.
Currently, the only thing it checks is whether the program can be built using opam and dune. Each build takes about 10 min. This is because the dependencies aren't cached., but I think the build time is not a big problem and we can leave it as is.
Adds a CI environment using GitHub Actions.
Currently, the only thing it checks is whether the program can be built using opam and dune. Each build takes about 10 min. This is because the dependencies aren't cached., but I think the build time is not a big problem and we can leave it as is.