Skip to content

gv: attrs are always a record - #122

Merged
james-d-mitchell merged 2 commits into
gap-packages:mainfrom
james-d-mitchell:attrs-always-record
Oct 4, 2026
Merged

james-d-mitchell merged 2 commits into
gap-packages:mainfrom
james-d-mitchell:attrs-always-record

Lint the doc tests

88a66d4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
devel
succeeded Oct 3, 2026 in 1m 21s