continuous integration

chore: use newly introduced finset notation #134421

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	1m 2s
Build	25m 13s
Cancel Previous Runs (CI)	5s
Post-CI job	9s
	26m 29s