CI

Use correct method to delete resource #1523

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build Windows	7m 29s
Build Mac	8m 50s
Build Linux (g++)	8m 28s
Build Linux (clang++)	6m 49s
	31m 36s