Lint

Revert "make TblPruneProgress non-dupsort" #3242

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request December 10, 2024 15:54

Giulio2002

opened #13070

revert-13037-non_dup_prune2

Status Success

Total duration 4m 47s

Artifacts –

lint.yml

on: pull_request