continuous integration

chore: adaptations for nightly-2025-12-13 #5670

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	3m 49s
Lint style	2m 24s
Post-Build Step	1s
Post-CI job	1s
	6m 15s