Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Added typechecking of Leios spec to CI.
Browse files Browse the repository at this point in the history
bwbush committed Aug 30, 2024
1 parent e995c46 commit 9f8769b
Showing 1 changed file with 20 additions and 0 deletions.
20 changes: 20 additions & 0 deletions .github/workflows/ci.yaml
Original file line number Diff line number Diff line change
@@ -13,6 +13,26 @@ on:
- main
jobs:

typecheck:
name: Typecheck specification
runs-on: ubuntu-22.04
steps:
- name: 📥 Checkout repository
uses: actions/checkout@v4
- name: 🛠️ Install Nix
uses: cachix/install-nix-action@v21
with:
nix_path: nixpkgs=channel:nixos-unstable
install_url: https://releases.nixos.org/nix/nix-2.10.3/install
extra_nix_config: |
allowed-uris = ${{ env.ALLOWED_URIS }}
trusted-public-keys = ${{ env.TRUSTED_PUBLIC_KEYS }}
substituters = ${{ env.SUBSTITUTERS }}
experimental-features = nix-command flakes
- name: 🏗️ Build specification
run: |
nix build --show-trace --accept-flake-config .#leiosSpec
compile:
name: Build libraries
runs-on: ubuntu-22.04

0 comments on commit 9f8769b

Please sign in to comment.