Lean: improve handwritten support · riscv/sail-riscv@92f5bf0

Triggered via pull request February 26, 2025 15:35

ineol

synchronize #754

Status Success

Total duration 6m 19s

Artifacts 2

compile.yml

on: pull_request

1 notice

There are 392 tests, see "Raw output" for the full list of tests.

Produced during runtime

Name	Size
event.json	3.57 KB
tests.xml	11.7 KB