Lean: add support for range types · rems-project/sail@d89514c

Triggered via pull request January 18, 2025 15:46

ineol

synchronize #869

ineol:lean-ranges

Status Success

Total duration 23m 2s

Artifacts 3

coverage.yml

on: pull_request

Matrix: build

1 notice

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

Produced during runtime