Lean: add support for register definitions · rems-project/sail@05ea73d

Triggered via pull request January 27, 2025 10:47

lfrenot

synchronize #894

Status Success

Total duration 22m 27s

Artifacts 3

coverage.yml

on: pull_request

Matrix: build

1 notice

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

Produced during runtime