CI

chore: release #452

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	2m 17s
Feature powerset (1/16)	12m 44s
Feature powerset (9/16)	13m 36s
Feature powerset (4/16)	14m 17s
Feature powerset (8/16)	14m 44s
Feature powerset (11/16)	13m 35s
Feature powerset (13/16)	12m 8s
Feature powerset (2/16)	12m 38s
Feature powerset (3/16)	13m 28s
Feature powerset (12/16)	14m 21s
Feature powerset (6/16)	14m 23s
Feature powerset (15/16)	14m 15s
Feature powerset (14/16)	14m 55s
Feature powerset (16/16)	13m 56s
Feature powerset (7/16)	13m 54s
Feature powerset (5/16)	13m 39s
Feature powerset (10/16)	13m 17s
	3h 42m 7s