Skip to content
Lint

Change reference for JabRef (#477) #816

Sign in to view logs

Change reference for JabRef (#477)

Change reference for JabRef (#477) #816

Triggered via push November 28, 2023 07:05
@kopporkoppor
pushed 58b8063
main
Status Success
Total duration 14s
Artifacts –

lint.yaml

on: push
lint
6s
lint
Fit to window
Zoom out
Zoom in