Skip to content

Merge pull request #371 from mupq/fix-ml-kem #72

Merge pull request #371 from mupq/fix-ml-kem

Merge pull request #371 from mupq/fix-ml-kem #72

Workflow file for this run

name: mps2-an386 build
on:
push:
branches:
- master
pull_request:
branches: [ "master" ]
jobs:
build-all:
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: Build All (mps2-an386)
run: make PLATFORM=mps2-an386 -j2