File tree Expand file tree Collapse file tree 2 files changed +20
-0
lines changed
Expand file tree Collapse file tree 2 files changed +20
-0
lines changed Original file line number Diff line number Diff line change @@ -369,3 +369,20 @@ jobs:
369369 restore-prefixes-first-match : nix-${{ runner.os }}-${{ github.job }}-
370370 gc-max-store-size-linux : 5G
371371 - run : nix develop .#microbench -c make dune build bench/micro
372+
373+ oxcaml-test :
374+ name : OxCaml Tests
375+ needs : nix-build
376+ runs-on : ubuntu-latest
377+ steps :
378+ - uses : actions/checkout@v5
379+ - uses : nixbuild/nix-quick-install-action@v34
380+ with :
381+ nix_conf : ${{ env.EXTRA_NIX_CONFIG }}
382+ - uses : nix-community/cache-nix-action@v6
383+ with :
384+ primary-key : |
385+ nix-${{ runner.os }}-${{ github.job }}-${{ hashFiles('**/*.nix', '**/flake.lock') }}
386+ restore-prefixes-first-match : nix-${{ runner.os }}-${{ github.job }}-
387+ gc-max-store-size-linux : 2G
388+ - run : nix develop .#ox-minimal -c make test-ox
Original file line number Diff line number Diff line change @@ -112,6 +112,9 @@ test-all: $(BIN)
112112test-all-sans-melange : $(BIN )
113113 $(BIN ) build @runtest @runtest-js @runtest-coq
114114
115+ test-ox :
116+ $(BIN ) runtest test/blackbox-tests/test-cases/oxcaml
117+
115118.PHONY : check
116119check : $(BIN )
117120 @$(BIN ) build @check
You can’t perform that action at this time.
0 commit comments