Skip to content
Lint

Fix WreathProductElementList to not modify its list argument #1979

Sign in to view logs

Fix WreathProductElementList to not modify its list argument

Fix WreathProductElementList to not modify its list argument #1979

Triggered via pull request September 20, 2024 13:40
@FriedrichRoberFriedrichRober
synchronize #5801
FIX-WreathProductElementList
Status Success
Total duration 39s
Artifacts –

lint.yml

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