Skip to content

Merge pull request #1037 from ocsigen/remove-unused-opam-template #902

Merge pull request #1037 from ocsigen/remove-unused-opam-template

Merge pull request #1037 from ocsigen/remove-unused-opam-template #902

Job Run time
2m 59s
2m 40s
2m 24s
3m 4s
2m 29s
2m 44s
2m 27s
2m 43s
2m 29s
2m 47s
2m 37s
2m 49s
2m 48s
2m 36s
2m 23s
2m 52s
2m 34s
2m 42s
2m 30s
2m 53s
2m 38s
2m 54s
3m 5s
7m 19s
1m 48s
2m 20s
4m 21s
1h 17m 55s