Skip to content
Lint

Use SwapMatrixRows/Columns in a few more places #2143

Sign in to view logs

Use SwapMatrixRows/Columns in a few more places

Use SwapMatrixRows/Columns in a few more places #2143

Triggered via pull request November 12, 2024 19:26
@fingolfinfingolfin
synchronize #5839
mh/more-swap
Status Success
Total duration 43s
Artifacts –

lint.yml

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