Check formatting

Lean: add more annotation, fix omitted fundefs, activates imports #2141

Sign in to view logs

Triggered via pull request February 14, 2025 12:11

javra

opened #1002

javra:lean/more_annotations

Status Success

Total duration 1m 26s

Artifacts –

formatting.yml

on: pull_request

Matrix: build