Check whitespace

Lists: porting several lemmas from other libraries #687

Sign in to view logs

Triggered via pull request September 13, 2024 14:14

omelkonian

synchronize #2479

orestis/list-additions

Status Success

Total duration 14s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace