Skip to content

Bump slothy from 2f9d7ff to 882b83f #33

Bump slothy from 2f9d7ff to 882b83f

Bump slothy from 2f9d7ff to 882b83f #33

Workflow file for this run

name: ml-dsa tests
on:
push:
branches:
- master
pull_request:
branches: [ "master" ]
jobs:
test-ml-dsa:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
submodules: recursive
- name: Install Toolchain
uses: carlosperate/[email protected]
with:
release: 13.2.Rel1
- name: Install qemu-system
run: sudo apt-get install -y qemu-system
- name: Install dependencies
run: pip3 install -r requirements.txt
- name: Test (mps2-an500)
run: ./test.py -p mps2-an500 ml-dsa-44 ml-dsa-65 ml-dsa-87
- name: Testvectors (mps2-an500)
run: ./testvectors.py -p mps2-an500 ml-dsa-44 ml-dsa-65 ml-dsa-87