Skip to content

[1.x] Merge pull request #1196 from phpDocumentor/feat/case-insensitive-text-roles #3263

[1.x] Merge pull request #1196 from phpDocumentor/feat/case-insensitive-text-roles

[1.x] Merge pull request #1196 from phpDocumentor/feat/case-insensitive-text-roles #3263

Job Run time
39s
1m 1s
18s
5m 45s
13s
43s
5s
1m 4s
20s
24s
42s
38s
53s
32s
40s
49s
53s
25s
57s
2s
3s
1m 43s
59s
53s
1m 16s
59s
49s
1m 13s
1m 6s
1m 33s
1m 44s
1m 0s
1m 0s
41s
27s
35s
40s
31s
59s
35s
26s
35s
37s
29s
34s
38m 30s