Skip to content
Lint trailing whitespaces

feat(Hachi): formalize lemma 10 of the paper #448

Sign in to view logs

feat(Hachi): formalize lemma 10 of the paper

feat(Hachi): formalize lemma 10 of the paper #448

Triggered via pull request August 3, 2026 09:56
@ErVinuelasErVinuelas
synchronize #656
ErVinuelas:lemma10-on-650
Status Success
Total duration 18s
Artifacts –

lint-whitespaces.yml

on: pull_request
Lint trailing whitespaces
8s
Lint trailing whitespaces
Fit to window
Zoom out
Zoom in