continuous integration (staging)

chore: remove `set_option in` (#14103) #8734

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check workflows	11s
Lint style	43s
Build	25m 12s
Cancel Previous Runs (CI)	6s
Post-CI job	11s
	26m 23s