diff options
| -rw-r--r-- | .github/workflows/ci.yml | 38 | ||||
| -rw-r--r-- | flake.nix | 6 |
2 files changed, 0 insertions, 44 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml deleted file mode 100644 index f4c4d9b..0000000 --- a/.github/workflows/ci.yml +++ /dev/null @@ -1,38 +0,0 @@ -name: CI - -on: - push: - branches: [master] - pull_request: - -concurrency: - group: ci-${{ github.ref }} - cancel-in-progress: true - -env: - NIX_CONFIG: "experimental-features = nix-command flakes" - -jobs: - build: - name: Build - runs-on: [self-hosted, nixos] - steps: - - uses: actions/checkout@v4 - - name: Build - run: nix build .#default -L - - format: - name: Check formatting - runs-on: [self-hosted, nixos] - steps: - - uses: actions/checkout@v4 - - name: Check formatting - run: nix build .#checks.x86_64-linux.dune-fmt -L - - test: - name: Run tests - runs-on: [self-hosted, nixos] - steps: - - uses: actions/checkout@v4 - - name: Run tests - run: nix build .#checks.x86_64-linux.relational_engine -L @@ -40,7 +40,6 @@ (nix-filter.lib.inDirectory "bplustree") (nix-filter.lib.inDirectory "bin") (nix-filter.lib.inDirectory "lib") - (nix-filter.lib.inDirectory "prl_api") (nix-filter.lib.inDirectory "shared") (nix-filter.lib.inDirectory "test") ]; @@ -98,11 +97,6 @@ buildPhase = patchDuneCommand oldAttrs.buildPhase; checkPhase = patchDuneCommand oldAttrs.checkPhase; installPhase = "touch $out"; - preCheck = '' - export CAML_LD_LIBRARY_PATH="${rnt}/lib''${CAML_LD_LIBRARY_PATH:+:$CAML_LD_LIBRARY_PATH}" - export LD_LIBRARY_PATH="${rnt}/lib''${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH}" - export DYLD_LIBRARY_PATH="${rnt}/lib''${DYLD_LIBRARY_PATH:+:$DYLD_LIBRARY_PATH}" - ''; }); dune-fmt = legacyPackages.runCommand "check-dune-fmt" { |