Back to pull request #67

.gitignore: Remove redundant rules on result*, target #58

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
push (stable)	3m 58s
test (stable)	3m 50s
push (nightly)	3m 53s
test (nightly)	3m 46s
	15m 27s