Skip to content
Lint Code Base

Print lemma numbers #178

Sign in to view logs

Print lemma numbers

Print lemma numbers #178

Triggered via push September 8, 2024 10:13
@xxyzzxxyzz
pushed 2a4e14a
master
Status Success
Total duration 36s
Artifacts –

linter.yml

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