diff --git a/.github/workflows/weekly.yml b/.github/workflows/weekly.yml new file mode 100644 index 000000000..425acbfb1 --- /dev/null +++ b/.github/workflows/weekly.yml @@ -0,0 +1,16 @@ +on: + schedule: + - cron: '0 0 * * 0' + workflow_dispatch: + +jobs: + default: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - uses: ocaml/setup-ocaml@v3 + with: + ocaml-compiler: 4.13.1 + - run: opam install ppx_deriving visitors easy_logging zarith yojson core_unix odoc menhir + - run: opam exec -- make build + - run: IN_CI=1 opam exec -- make test diff --git a/README.md b/README.md index 14225ea3e..b7e6d689d 100644 --- a/README.md +++ b/README.md @@ -77,8 +77,8 @@ opam install ppx_deriving visitors easy_logging zarith yojson core_unix odoc men ``` You can then run `make build-charon-ml` to build the ML library, or even simply -`make` to build the whole project (Rust and OCaml). Finally, you can run the -tests with `make test`. +`make build` to build the whole project (Rust and OCaml). Finally, you can run +the tests with `make test`. Alternatively, you can use Nix and do `nix develop` (or use https://direnv.net/ and `direnv allow`) and all dependencies should be made available.