lint and suggest

[Merged by Bors] - chore(SetTheory/Lists): remove porting notes #43039

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check all files imported	29s
Lint style	47s
	1m 16s