CI

ci: Remove check workflow and filter on branch name #873

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint / run	25s
docs / build	1m 22s
test / run	4m 15s
release	0s
example	0s
	6m 2s