Check formatting

Lean: Fixing struct of enums #1937

Sign in to view logs

Triggered via pull request January 31, 2025 10:33

lfrenot

synchronize #929

lfrenot:lean/struct_of_enum

Status Success

Total duration 39s

Artifacts –

formatting.yml

on: pull_request

Matrix: build