Lean: Fixing struct of enums · rems-project/sail@d3a4410

Triggered via pull request January 31, 2025 10:33

lfrenot

synchronize #929

Status Success

Total duration 23m 37s

Artifacts 3

coverage.yml

on: pull_request

Matrix: build

1 notice

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

Produced during runtime