GitHub Action CI

ofi nic selection bugfix and document update #2314

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Commits	27s
Milestone Pull Request	7s
Label Pull Request	9s
	43s