Skip to content
Lint

Change Cite to not include a version in the generated keys (#5653) #1450

Sign in to view logs

Change Cite to not include a version in the generated keys (#5653)

Change Cite to not include a version in the generated keys (#5653) #1450

Triggered via push February 26, 2024 14:17
@fingolfinfingolfin
pushed 8fe588d
master
Status Success
Total duration 50s
Artifacts –

lint.yml

on: push
gaplint
41s
gaplint
Fit to window
Zoom out
Zoom in