Check whitespace

Lists: porting several lemmas from other libraries #686

Sign in to view logs

Triggered via pull request September 12, 2024 10:21

omelkonian

synchronize #2479

orestis/list-additions

Status Success

Total duration 13s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace