CI

Fix CI so that it runs on push and PR for `main` branch #932

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Linelint	32s
RuboCop	1m 3s
Test 3.2	26s
Test 3.0	23s
Test 3.3	39s
Test 3.1	37s
Test head	34s
Test 4.0	35s
Test 3.4	37s
Profile	45s
	6m 11s

⚡