Skip to content
Nix Build

Much cleaner strings with index_extensionality (and for Seq and ImmutableArray) that does not create a new eq. #802

Sign in to view logs

Much cleaner strings with index_extensionality (and for Seq and ImmutableArray) that does not create a new eq.

Much cleaner strings with index_extensionality (and for Seq and ImmutableArray) that does not create a new eq. #802

Workflow file for this run

.github/workflows/nix.yaml at 491140a
# This workflow tests the Nix build of F*. We run it only for PRs (not
# on every push) and we use Github hosted runners.
name: Nix Build
on:
pull_request:
jobs:
nix-build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: DeterminateSystems/nix-installer-action@main
- uses: DeterminateSystems/magic-nix-cache-action@main
- name: Build
run: nix build -L