scilla
scilla copied to clipboard
Switch CI to GitHub Actions
In this case we will get support for Linux and macOS and also (potentially) for Windows. Recently PR 928 showed that would be great to have. There is a nice setup for OCaml using GitHub Actions: https://github.com/ocaml/setup-ocaml
@mauromedda Do you think it's worth it? Or should we close this issue?