Skip to content

Fixes: adress renaming (#191), also check in usable policy that block is >= 0 #660

Fixes: adress renaming (#191), also check in usable policy that block is >= 0

Fixes: adress renaming (#191), also check in usable policy that block is >= 0 #660

Workflow file for this run

name: Albatross
on: [push, pull_request]
jobs:
tests:
name: Tests
strategy:
fail-fast: false
matrix:
ocaml-version: ["4.14.2", "4.13.1"]
operating-system: [macos-latest, ubuntu-latest]
runs-on: ${{ matrix.operating-system }}
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Use OCaml ${{ matrix.ocaml-version }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-version }}
- name: Install dependencies
run: opam install --deps-only -t .
- name: Build
run: opam exec -- dune build
- name: Test
run: opam exec -- dune runtest
nix:
name: Test the Nix package
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Cache the Nix store
uses: actions/cache@v3
with:
key: nix-store-${{runner.arch}}-${{runner.os}}
path: |
/tmp/nix_store
/tmp/nix_store_db
# Inspired from https://github.com/tpwrules/nixos-m1/blob/22f39d12f022deddf0a4f8e5139b8b88f12e95ed/.github/workflows/installer.yml
- name: Restore the Nix store from cache
run: |
if [[ -e /tmp/nix_store ]]; then
sudo rm -rf /nix
sudo mkdir -p /nix /nix/var/nix/db
sudo mv /tmp/nix_store /nix/store
sudo mv /tmp/nix_store_db /nix/var/nix/db/db.sqlite
sudo chown -R root:root /nix
fi
- name: Setup Nix
uses: cachix/install-nix-action@v15
with:
extra_nix_config: |
keep-outputs = true
- run: nix build
- name: Check that flake.lock is uptodate
run: if ! git diff --exit-code -- flake.lock; then exit 1; fi
- name: Prepare the Nix store for caching
run: |
nix store gc
sudo systemctl stop nix-daemon
sudo mv /nix/store /tmp/nix_store
sudo mv /nix/var/nix/db/db.sqlite /tmp/nix_store_db