Skip to content
Lint Code Base

Print lemma numbers #177

Sign in to view logs

Print lemma numbers

Print lemma numbers #177

Triggered via push September 8, 2024 09:57
@xxyzzxxyzz
pushed bce9fe2
master
Status Success
Total duration 35s
Artifacts –

linter.yml

on: push
Lint Code Base
26s
Lint Code Base
Fit to window
Zoom out
Zoom in