CI

Fix: GitHub CI workflow selects dev when building prod branch (#5428) #17092

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test	7s
codeql (python)	1m 53s
codeql (javascript)	1m 28s
coveralls	0s
codecov	0s
	3m 28s