Skip to content
Lint

Use SwapMatrixRows/Columns in a few more places #2139

Sign in to view logs

Use SwapMatrixRows/Columns in a few more places

Use SwapMatrixRows/Columns in a few more places #2139

Triggered via pull request November 11, 2024 21:41
@fingolfinfingolfin
synchronize #5839
mh/more-swap
Status Success
Total duration 37s
Artifacts –

lint.yml

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