Build and test Lean backend

fix: `vsha2ms.vv` assembly is missing a `sep()` (#1087) #393

Sign in to view logs

Triggered via push June 23, 2025 06:46

github-merge-queue[bot]

gh-readonly-queue/master/pr-1087-d7847673f73dcaf91a72fa3f8a33d6771a433e33

Status Failure

Total duration 7m 29s

Artifacts –

compile-lean.yml

on: push

Matrix: build

Annotations

1 error

build (5.2.1, ubuntu-latest)

Process completed with exit code 1.