deploy

Trying to sort out selectable text with tooltip #511

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / test (ubuntu-22.04)	6m 13s
build / test (macOS-14)	5m 56s
deploy-ESOP-artifact	0s
deploy-gh-pages	0s
	12m 9s