continuous integration (staging)

Chore: Remove some uses of `open Classical` (#15371) #9546

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	5s
Build	56m 30s
check workflows	7s
Lint style	42s
Post-CI job	10s
	57m 34s