Publish new release on GitHub

bump version to 1.3.1 #47

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build (12.x, dark, default)	22s
build / build (12.x, dark, boxed)	21s
build / build (12.x, light, default)	21s
build / build (12.x, light, boxed)	25s
release	5s
	1m 34s