Skip to content

Update jasmin

Update jasmin #35

Workflow file for this run

name: "Interpret Jasmin Implementations"
on:
pull_request:
push:
jobs:
tests:
name: Exec
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- uses: cachix/install-nix-action@v26
with:
nix_path: nixpkgs=channel:nixos-unstable
- uses: DeterminateSystems/magic-nix-cache-action@v4
- run: nix-shell --arg full false --run "echo Dependencies OK…"
- run: nix-shell --arg full false --run "make -C code/jasmin/test/ -j2"
- uses: actions/upload-artifact@v4
with:
name: mlkem-exec
path: code/jasmin/test/*.log