Skip to content
Linter

Use a custom attribute to name lemma (#1143) #2382

Sign in to view logs

Use a custom attribute to name lemma (#1143)

Use a custom attribute to name lemma (#1143) #2382

Triggered via push June 10, 2024 14:06
@HalbarothHalbaroth
pushed 89f7072
next
Status Success
Total duration 4m 10s
Artifacts –

linter.yml

on: push
Check style
4m 2s
Check style
Matrix: Check indentation
Fit to window
Zoom out
Zoom in