Skip to content
Back to pull request #4336

Remove unused sparselist code #2107

Sign in to view logs

Remove unused sparselist code

Remove unused sparselist code #2107

Triggered via pull request November 7, 2024 08:36
@fingolfinfingolfin
synchronize #4336
fingolfin:mh/sparselist
Status Success
Total duration 40s
Artifacts –

lint.yml

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