Skip to content
Lint

Fix year for GAP release in output of Cite() #1776

Sign in to view logs

Fix year for GAP release in output of Cite()

Fix year for GAP release in output of Cite() #1776

Triggered via pull request June 24, 2024 08:52
@lgoettgenslgoettgens
opened #5756
lgoettgens:lg/cite-year
Status Success
Total duration 48s
Artifacts –

lint.yml

on: pull_request
gaplint
37s
gaplint
Fit to window
Zoom out
Zoom in