From eccfac6fdcf47c41575e5a0d2cea82b0967926a8 Mon Sep 17 00:00:00 2001 From: Franck Cuny Date: Sat, 10 May 2025 10:36:43 -0700 Subject: remove GHA, run the checks / tests with pre-commits --- .github/workflows/ci.yml | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 .github/workflows/ci.yml (limited to '.github/workflows/ci.yml') diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml deleted file mode 100644 index 655b33f..0000000 --- a/.github/workflows/ci.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: CI - -on: - push: - branches: ["main"] - pull_request: - branches: ["main"] - -jobs: - format: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v4 - - uses: DeterminateSystems/nix-installer-action@v17 - - name: check configuration - run: | - nix flake check --all-systems - nix develop -c echo OK -- cgit v1.2.3