Skip to content

Improve error message. #40

Improve error message.

Improve error message. #40

Workflow file for this run

name: F* CI
on:
push:
pull_request:
workflow_dispatch:
defaults:
run:
shell: bash
jobs:
build:
name: build
uses: ./.github/workflows/build-ci.yml
tests:
name: tests
needs: build
uses: ./.github/workflows/tests.yml
nix-build:
name: nix
uses: ./.github/workflows/nix.yml