disable nix CI for now

This commit is contained in:
Simon Cruanes 2026-01-12 20:46:30 -05:00
parent f208a87eb8
commit 55a5d1ed88
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,14 +0,0 @@
name: "nix"
on:
pull_request:
push:
jobs:
tests:
runs-on: ubuntu-latest
steps:
- name: Checkout tree
uses: actions/checkout@v4
with:
submodules: true
- uses: cachix/install-nix-action@v30
- run: nix develop -L .# -c dune build @runtest @check