Skip to content
Lint trailing whitespaces

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

Sign in to view logs

feat(Hachi): formalize lemma 10 of the paper

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

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

lint-whitespaces.yml

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