Skip to content
Back to pull request #5805

ExtRepOfObj for IsLetterAssocWordRep: return mutable list #1993

Sign in to view logs

ExtRepOfObj for IsLetterAssocWordRep: return mutable list

ExtRepOfObj for IsLetterAssocWordRep: return mutable list #1993

Triggered via pull request September 26, 2024 08:32
@fingolfinfingolfin
opened #5805
fingolfin:mh/ExtRepOfObj-IsLetterAssocWordRep
Status Success
Total duration 43s
Artifacts –

lint.yml

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