Add displaystyle as known property on math elements #146

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
matrix	3s
matrix	3s
latest majors (17, 8, 10)	2m 35s
latest majors (17, 8, 10)	2m 35s
latest majors (17, 8, 9)	2m 57s
latest majors (17, 8, 9)	2m 57s
latest majors (17, 8, 8)	2m 34s
latest majors (17, 8, 8)	2m 34s
latest majors (17, 7, 10)	3m 25s
latest majors (17, 7, 10)	3m 25s
latest majors (17, 7, 9)	3m 23s
latest majors (17, 7, 9)	3m 23s
latest majors (17, 7, 8)	2m 57s
latest majors (17, 7, 8)	2m 57s
latest majors (17, 6, 10)	2m 48s
latest majors (17, 6, 10)	2m 48s
latest majors (17, 6, 9)	3m 4s
latest majors (17, 6, 9)	3m 4s
latest majors (17, 6, 8)	2m 45s
latest majors (17, 6, 8)	2m 45s
latest majors (17, 5, 10)	2m 27s
latest majors (17, 5, 10)	2m 27s
latest majors (17, 5, 9)	2m 30s
latest majors (17, 5, 9)	2m 30s
latest majors (17, 5, 8)	2m 48s
latest majors (17, 5, 8)	2m 48s
latest majors (17, 4, 10)	2m 27s
latest majors (17, 4, 10)	2m 27s
latest majors (17, 4, 9)	2m 39s
latest majors (17, 4, 9)	2m 39s
latest majors (17, 4, 8)	2m 42s
latest majors (17, 4, 8)	2m 42s
latest majors (17, 4.14, 10)	2m 26s
latest majors (17, 4.14, 10)	2m 26s
latest majors (17, 4.14, 9)	2m 29s
latest majors (17, 4.14, 9)	2m 29s
latest majors (17, 4.14, 8)	2m 32s
latest majors (17, 4.14, 8)	2m 32s
latest majors (17, 3, 10)	2m 26s
latest majors (17, 3, 10)	2m 26s
latest majors (17, 3, 9)	2m 24s
latest majors (17, 3, 9)	2m 24s
latest majors (17, 3, 8)	2m 36s
latest majors (17, 3, 8)	2m 36s
latest majors (16, 8, 10)	2m 34s
latest majors (16, 8, 10)	2m 34s
latest majors (16, 8, 9)	2m 51s
latest majors (16, 8, 9)	2m 51s
latest majors (16, 8, 8)	2m 39s
latest majors (16, 8, 8)	2m 39s
latest majors (16, 7, 10)	3m 22s
latest majors (16, 7, 10)	3m 22s
latest majors (16, 7, 9)	3m 7s
latest majors (16, 7, 9)	3m 7s
latest majors (16, 7, 8)	2m 59s
latest majors (16, 7, 8)	2m 59s
latest majors (16, 6, 10)	3m 6s
latest majors (16, 6, 10)	3m 6s
latest majors (16, 6, 9)	2m 51s
latest majors (16, 6, 9)	2m 51s
latest majors (16, 6, 8)	2m 48s
latest majors (16, 6, 8)	2m 48s
latest majors (16, 5, 10)	2m 38s
latest majors (16, 5, 10)	2m 38s
latest majors (16, 5, 9)	2m 32s
latest majors (16, 5, 9)	2m 32s
latest majors (16, 5, 8)	2m 29s
latest majors (16, 5, 8)	2m 29s
latest majors (16, 4, 10)	2m 28s
latest majors (16, 4, 10)	2m 28s
latest majors (16, 4, 9)	2m 26s
latest majors (16, 4, 9)	2m 26s
latest majors (16, 4, 8)	2m 26s
latest majors (16, 4, 8)	2m 26s
latest majors (16, 4.14, 10)	2m 29s
latest majors (16, 4.14, 10)	2m 29s
latest majors (16, 4.14, 9)	2m 38s
latest majors (16, 4.14, 9)	2m 38s
latest majors (16, 4.14, 8)	2m 26s
latest majors (16, 4.14, 8)	2m 26s
latest majors (16, 3, 10)	2m 41s
latest majors (16, 3, 10)	2m 41s
latest majors (16, 3, 9)	2m 35s
latest majors (16, 3, 9)	2m 35s
latest majors (16, 3, 8)	2m 34s
latest majors (16, 3, 8)	2m 34s
latest majors (15, 7, 10)	3m 6s
latest majors (15, 7, 10)	3m 6s
latest majors (15, 7, 9)	3m 1s
latest majors (15, 7, 9)	3m 1s
latest majors (15, 7, 8)	3m 2s
latest majors (15, 7, 8)	3m 2s
latest majors (15, 6, 10)	2m 49s
latest majors (15, 6, 10)	2m 49s
latest majors (15, 6, 9)	2m 55s
latest majors (15, 6, 9)	2m 55s
latest majors (15, 6, 8)	2m 54s
latest majors (15, 6, 8)	2m 54s
latest majors (15, 5, 10)	2m 47s
latest majors (15, 5, 10)	2m 47s
latest majors (15, 5, 9)	2m 40s
latest majors (15, 5, 9)	2m 40s
latest majors (15, 5, 8)	2m 46s
latest majors (15, 5, 8)	2m 46s
latest majors (15, 4, 10)	2m 35s
latest majors (15, 4, 10)	2m 35s
latest majors (15, 4, 9)	2m 33s
latest majors (15, 4, 9)	2m 33s
latest majors (15, 4, 8)	2m 27s
latest majors (15, 4, 8)	2m 27s
latest majors (15, 4.14, 10)	2m 25s
latest majors (15, 4.14, 10)	2m 25s
latest majors (15, 4.14, 9)	2m 36s
latest majors (15, 4.14, 9)	2m 36s
latest majors (15, 4.14, 8)	2m 42s
latest majors (15, 4.14, 8)	2m 42s
latest majors (15, 3, 10)	2m 31s
latest majors (15, 3, 10)	2m 31s
latest majors (15, 3, 9)	2m 28s
latest majors (15, 3, 9)	2m 28s
latest majors (15, 3, 8)	2m 24s
latest majors (15, 3, 8)	2m 24s
latest majors (14, 8, 10)	3m 4s
latest majors (14, 8, 10)	3m 4s
latest majors (14, 8, 9)	2m 36s
latest majors (14, 8, 9)	2m 36s
latest majors (14, 8, 8)	2m 48s
latest majors (14, 8, 8)	2m 48s
latest majors (14, 7, 10)	2m 57s
latest majors (14, 7, 10)	2m 57s
latest majors (14, 7, 9)	3m 20s
latest majors (14, 7, 9)	3m 20s
latest majors (14, 7, 8)	3m 21s
latest majors (14, 7, 8)	3m 21s
latest majors (14, 6, 10)	2m 48s
latest majors (14, 6, 10)	2m 48s
latest majors (14, 6, 9)	2m 51s
latest majors (14, 6, 9)	2m 51s
latest majors (14, 6, 8)	3m 18s
latest majors (14, 6, 8)	3m 18s
latest majors (14, 5, 10)	2m 29s
latest majors (14, 5, 10)	2m 29s
latest majors (14, 5, 9)	2m 29s
latest majors (14, 5, 9)	2m 29s
latest majors (14, 5, 8)	2m 27s
latest majors (14, 5, 8)	2m 27s
latest majors (14, 4, 10)	2m 27s
latest majors (14, 4, 10)	2m 27s
latest majors (14, 4, 9)	2m 47s
latest majors (14, 4, 9)	2m 47s
latest majors (14, 4, 8)	2m 32s
latest majors (14, 4, 8)	2m 32s
latest majors (14, 4.14, 10)	2m 44s
latest majors (14, 4.14, 10)	2m 44s
latest majors (14, 4.14, 9)	2m 40s
latest majors (14, 4.14, 9)	2m 40s
latest majors (14, 4.14, 8)	2m 26s
latest majors (14, 4.14, 8)	2m 26s
latest majors (14, 3, 10)	2m 38s
latest majors (14, 3, 10)	2m 38s
latest majors (14, 3, 9)	2m 25s
latest majors (14, 3, 9)	2m 25s
latest majors (14, 3, 8)	2m 23s
latest majors (14, 3, 8)	2m 23s
latest majors (13, 7, 10)	3m 6s
latest majors (13, 7, 10)	3m 6s
latest majors (13, 7, 9)	3m 41s
latest majors (13, 7, 9)	3m 41s
latest majors (13, 7, 8)	3m 2s
latest majors (13, 7, 8)	3m 2s
latest majors (13, 6, 10)	2m 55s
latest majors (13, 6, 10)	2m 55s
latest majors (13, 6, 9)	2m 55s
latest majors (13, 6, 9)	2m 55s
latest majors (13, 6, 8)	3m 19s
latest majors (13, 6, 8)	3m 19s
latest majors (13, 5, 10)	2m 47s
latest majors (13, 5, 10)	2m 47s
latest majors (13, 5, 9)	4m 18s
latest majors (13, 5, 9)	2m 28s
latest majors (13, 5, 8)	2m 32s
latest majors (13, 5, 8)	2m 32s
latest majors (13, 4, 10)	4m 25s
latest majors (13, 4, 10)	4m 25s
latest majors (13, 4, 9)	2m 49s
latest majors (13, 4, 9)	2m 49s
latest majors (13, 4, 8)	2m 32s
latest majors (13, 4, 8)	2m 32s
latest majors (13, 4.14, 10)	2m 30s
latest majors (13, 4.14, 10)	2m 30s
latest majors (13, 4.14, 9)	2m 32s
latest majors (13, 4.14, 9)	2m 32s
latest majors (13, 4.14, 8)	2m 26s
latest majors (13, 4.14, 8)	2m 26s
latest majors (13, 3, 10)	2m 26s
latest majors (13, 3, 10)	2m 26s
latest majors (13, 3, 9)	2m 28s
latest majors (13, 3, 9)	2m 28s
latest majors (13, 3, 8)	2m 25s
latest majors (13, 3, 8)	2m 25s
latest majors (12, 8, 10)	2m 37s
latest majors (12, 8, 10)	2m 37s
latest majors (12, 8, 9)	3m 6s
latest majors (12, 8, 9)	3m 6s
latest majors (12, 8, 8)	2m 53s
latest majors (12, 8, 8)	2m 53s
latest majors (12, 7, 10)	3m 1s
latest majors (12, 7, 10)	3m 1s
latest majors (12, 7, 9)	3m 0s
latest majors (12, 7, 9)	3m 0s
latest majors (12, 7, 8)	3m 8s
latest majors (12, 7, 8)	3m 8s
latest majors (12, 6, 10)	3m 8s
latest majors (12, 6, 10)	3m 8s
latest majors (12, 6, 9)	2m 49s
latest majors (12, 6, 9)	2m 49s
latest majors (12, 6, 8)	2m 52s
latest majors (12, 6, 8)	2m 52s
latest majors (12, 5, 10)	2m 30s
latest majors (12, 5, 10)	2m 30s
latest majors (12, 5, 9)	2m 47s
latest majors (12, 5, 9)	2m 47s
latest majors (12, 5, 8)	2m 45s
latest majors (12, 5, 8)	2m 45s
latest majors (12, 4, 10)	2m 46s
latest majors (12, 4, 10)	2m 46s
latest majors (12, 4, 9)	2m 48s
latest majors (12, 4, 9)	2m 48s
latest majors (12, 4, 8)	2m 32s
latest majors (12, 4, 8)	2m 32s
latest majors (12, 4.14, 10)	2m 27s
latest majors (12, 4.14, 10)	2m 27s
latest majors (12, 4.14, 9)	2m 39s
latest majors (12, 4.14, 9)	2m 39s
latest majors (12, 4.14, 8)	2m 26s
latest majors (12, 4.14, 8)	2m 26s
latest majors (12, 3, 10)	2m 37s
latest majors (12, 3, 10)	2m 37s
latest majors (12, 3, 9)	2m 29s
latest majors (12, 3, 9)	2m 29s
latest majors (12, 3, 8)	2m 25s
latest majors (12, 3, 8)	2m 25s
latest majors (11, 6, 10)	2m 52s
latest majors (11, 6, 10)	2m 52s
latest majors (11, 6, 9)	2m 54s
latest majors (11, 6, 9)	2m 54s
latest majors (11, 6, 8)	3m 9s
latest majors (11, 6, 8)	3m 9s
latest majors (11, 5, 10)	2m 36s
latest majors (11, 5, 10)	2m 36s
latest majors (11, 5, 9)	2m 26s
latest majors (11, 5, 9)	2m 26s
latest majors (11, 5, 8)	2m 43s
latest majors (11, 5, 8)	2m 43s
latest majors (11, 4, 10)	2m 29s
latest majors (11, 4, 10)	2m 29s
latest majors (11, 4, 9)	2m 26s
latest majors (11, 4, 9)	2m 26s
latest majors (11, 4, 8)	2m 23s
latest majors (11, 4, 8)	2m 23s
latest majors (11, 4.14, 10)	2m 31s
latest majors (11, 4.14, 10)	2m 31s
latest majors (11, 4.14, 9)	2m 27s
latest majors (11, 4.14, 9)	2m 27s
latest majors (11, 4.14, 8)	2m 32s
latest majors (11, 4.14, 8)	2m 32s
latest majors (11, 3, 10)	2m 30s
latest majors (11, 3, 10)	2m 30s
latest majors (11, 3, 9)	2m 28s
latest majors (11, 3, 9)	2m 28s
latest majors (11, 3, 8)	2m 24s
latest majors (11, 3, 8)	2m 24s
latest majors (10, 7, 10)	3m 6s
latest majors (10, 7, 10)	3m 6s
latest majors (10, 7, 9)	3m 6s
latest majors (10, 7, 9)	3m 6s
latest majors (10, 7, 8)	3m 43s
latest majors (10, 7, 8)	3m 43s
latest majors (10, 6, 10)	3m 7s
latest majors (10, 6, 10)	3m 7s
latest majors (10, 6, 9)	2m 52s
latest majors (10, 6, 9)	2m 52s
latest majors (10, 6, 8)	3m 7s
latest majors (10, 6, 8)	3m 7s
latest majors (10, 5, 10)	2m 46s
latest majors (10, 5, 10)	2m 46s
latest majors (10, 5, 9)	2m 37s
latest majors (10, 5, 9)	2m 37s
latest majors (10, 5, 8)	2m 35s
latest majors (10, 5, 8)	2m 35s
latest majors (10, 4, 10)	2m 43s
latest majors (10, 4, 10)	2m 43s
latest majors (10, 4, 9)	2m 52s
latest majors (10, 4, 9)	2m 52s
latest majors (10, 4, 8)	2m 34s
latest majors (10, 4, 8)	2m 34s
latest majors (10, 4.14, 10)	2m 28s
latest majors (10, 4.14, 10)	2m 28s
latest majors (10, 4.14, 9)	2m 30s
latest majors (10, 4.14, 9)	2m 30s
latest majors (10, 4.14, 8)	2m 30s
latest majors (10, 4.14, 8)	2m 30s
latest majors (10, 3, 10)	2m 27s
latest majors (10, 3, 10)	2m 27s
latest majors (10, 3, 9)	2m 30s
latest majors (10, 3, 9)	2m 30s
latest majors (10, 3, 8)	2m 23s
latest majors (10, 3, 8)	2m 23s
latest majors (9, 6, 10)	2m 51s
latest majors (9, 6, 10)	2m 51s
latest majors (9, 6, 9)	2m 51s
latest majors (9, 6, 9)	2m 51s
latest majors (9, 6, 8)	2m 59s
latest majors (9, 6, 8)	2m 59s
latest majors (9, 5, 10)	2m 31s
latest majors (9, 5, 10)	2m 31s
latest majors (9, 5, 9)	2m 28s
latest majors (9, 5, 9)	2m 28s
latest majors (9, 5, 8)	2m 38s
latest majors (9, 5, 8)	2m 38s
latest majors (9, 4, 10)	2m 30s
latest majors (9, 4, 10)	2m 30s
latest majors (9, 4, 9)	2m 30s
latest majors (9, 4, 9)	2m 30s
latest majors (9, 4, 8)	2m 25s
latest majors (9, 4, 8)	2m 25s
latest majors (9, 4.14, 10)	2m 27s
latest majors (9, 4.14, 10)	2m 27s
latest majors (9, 4.14, 9)	2m 31s
latest majors (9, 4.14, 9)	2m 31s
latest majors (9, 4.14, 8)	2m 29s
latest majors (9, 4.14, 8)	2m 29s
latest majors (9, 3, 10)	2m 29s
latest majors (9, 3, 10)	2m 29s
latest majors (9, 3, 9)	2m 43s
latest majors (9, 3, 9)	2m 43s
latest majors (9, 3, 8)	2m 33s
latest majors (9, 3, 8)	2m 33s
latest majors (8, 6, 10)	3m 5s
latest majors (8, 6, 10)	3m 5s
latest majors (8, 6, 9)	2m 53s
latest majors (8, 6, 9)	2m 53s
latest majors (8, 6, 8)	2m 48s
latest majors (8, 6, 8)	2m 48s
latest majors (8, 5, 10)	2m 51s
latest majors (8, 5, 10)	2m 51s
latest majors (8, 5, 9)	2m 36s
latest majors (8, 5, 9)	2m 36s
latest majors (8, 5, 8)	2m 33s
latest majors (8, 5, 8)	2m 33s
latest majors (8, 4, 10)	2m 29s
latest majors (8, 4, 10)	2m 29s
latest majors (8, 4, 9)	2m 27s
latest majors (8, 4, 9)	2m 27s
latest majors (8, 4, 8)	2m 29s
latest majors (8, 4, 8)	2m 29s
latest majors (8, 4.14, 10)	2m 29s
latest majors (8, 4.14, 10)	2m 29s
latest majors (8, 4.14, 9)	2m 27s
latest majors (8, 4.14, 9)	2m 27s
latest majors (8, 4.14, 8)	2m 24s
latest majors (8, 4.14, 8)	2m 24s
latest majors (8, 3, 10)	2m 30s
latest majors (8, 3, 10)	2m 30s
latest majors (8, 3, 9)	2m 26s
latest majors (8, 3, 9)	2m 26s
latest majors (8, 3, 8)	2m 27s
latest majors (8, 3, 8)	2m 27s
latest majors (7, 5, 10)	2m 37s
latest majors (7, 5, 10)	2m 37s
latest majors (7, 5, 9)	2m 44s
latest majors (7, 5, 9)	2m 44s
latest majors (7, 5, 8)	2m 32s
latest majors (7, 5, 8)	2m 32s
latest majors (7, 4, 10)	2m 35s
latest majors (7, 4, 10)	2m 35s
latest majors (7, 4, 9)	2m 53s
latest majors (7, 4, 9)	2m 53s
latest majors (7, 4, 8)	2m 31s
latest majors (7, 4, 8)	2m 31s
latest majors (7, 4.14, 10)	2m 35s
latest majors (7, 4.14, 10)	2m 35s
latest majors (7, 4.14, 9)	2m 33s
latest majors (7, 4.14, 9)	2m 33s
latest majors (7, 4.14, 8)	2m 30s
latest majors (7, 4.14, 8)	2m 30s
latest majors (7, 3, 10)	4m 23s
latest majors (7, 3, 10)	4m 23s
latest majors (7, 3, 9)	2m 53s
latest majors (7, 3, 9)	2m 53s
latest majors (7, 3, 8)	2m 29s
latest majors (7, 3, 8)	2m 29s
latest majors (6, 5, 10)	2m 42s
latest majors (6, 5, 10)	2m 42s
latest majors (6, 5, 9)	2m 49s
latest majors (6, 5, 9)	2m 49s
latest majors (6, 5, 8)	2m 40s
latest majors (6, 5, 8)	2m 40s
latest majors (6, 4, 10)	2m 49s
latest majors (6, 4, 10)	2m 49s
latest majors (6, 4, 9)	2m 41s
latest majors (6, 4, 9)	2m 41s
latest majors (6, 4, 8)	2m 38s
latest majors (6, 4, 8)	2m 38s
latest majors (6, 4.14, 10)	2m 42s
latest majors (6, 4.14, 10)	2m 42s
latest majors (6, 4.14, 9)	2m 59s
latest majors (6, 4.14, 9)	2m 59s
latest majors (6, 4.14, 8)	2m 53s
latest majors (6, 4.14, 8)	2m 53s
latest majors (6, 3, 10)	2m 42s
latest majors (6, 3, 10)	2m 42s
latest majors (6, 3, 9)	2m 40s
latest majors (6, 3, 9)	2m 40s
latest majors (6, 3, 8)	2m 49s
latest majors (6, 3, 8)	2m 49s
latest majors (5, 4, 8)	2m 53s
latest majors (5, 4, 8)	2m 53s
latest majors (5, 4.14, 8)	2m 51s
latest majors (5, 4.14, 8)	2m 51s
latest majors (5, 3, 8)	2m 48s
latest majors (5, 3, 8)	2m 48s
latest majors (4, 4, 8)	2m 53s
latest majors (4, 4, 8)	2m 53s
latest majors (4, 4.14, 8)	2m 52s
latest majors (4, 4.14, 8)	2m 52s
latest majors (4, 3, 8)	2m 49s
latest majors (4, 3, 8)	2m 49s
node 4 - 17	0s
node 4 - 17	1s
	19h 19m 31s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Add displaystyle as known property on math elements #146

Usage

Add displaystyle as known property on math elements #146

Jobs

Run details

Run time