Skip to content

Navigating Typed Holes #2109

Navigating Typed Holes

Navigating Typed Holes #2109

Workflow file for this run

name: Nix
on:
- push
- pull_request
permissions: read-all
jobs:
tests:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v4
with:
submodules: true
- uses: cachix/install-nix-action@v30
with:
nix_path: nixpkgs=channel:nixos-unstable
- run: nix develop -c make nix-tests