Skip to content

Merge pull request #1010 from ocsigen/do-not-use-depext-subcmd #771

Merge pull request #1010 from ocsigen/do-not-use-depext-subcmd

Merge pull request #1010 from ocsigen/do-not-use-depext-subcmd #771

Job Run time
2m 55s
2m 48s
3m 10s
2m 53s
3m 1s
2m 49s
3m 22s
2m 49s
3m 7s
2m 56s
3m 14s
3m 4s
2m 41s
2m 42s
2m 52s
2m 43s
2m 48s
2m 36s
2m 51s
7m 9s
6m 54s
1m 55s
3m 44s
4m 14s
1h 19m 17s