Actions: coq/platform
Macos
Macos
#1838:
Scheduled
August 11, 2024 00:50
1h 11m 11s
main
August 11, 2024 00:50
1h 11m 11s
Macos
Macos
#1837:
Scheduled
August 10, 2024 00:45
1h 10m 31s
main
August 10, 2024 00:45
1h 10m 31s
Macos
Macos
#1836:
Scheduled
August 9, 2024 00:45
1h 39m 47s
main
August 9, 2024 00:45
1h 39m 47s
Macos
Macos
#1835:
Scheduled
August 8, 2024 00:45
1h 17m 42s
main
August 8, 2024 00:45
1h 17m 42s
Macos
Macos
#1834:
Scheduled
August 7, 2024 00:45
1h 21m 33s
main
August 7, 2024 00:45
1h 21m 33s
Macos
Macos
#1833:
Scheduled
August 6, 2024 00:44
1h 20m 46s
main
August 6, 2024 00:44
1h 20m 46s
Macos
Macos
#1832:
Scheduled
August 5, 2024 00:46
1h 13m 58s
main
August 5, 2024 00:46
1h 13m 58s
Macos
Macos
#1831:
Scheduled
August 4, 2024 00:49
1h 21m 33s
main
August 4, 2024 00:49
1h 21m 33s
Macos
Macos
#1830:
Scheduled
August 3, 2024 00:43
1h 20m 11s
main
August 3, 2024 00:43
1h 20m 11s
Macos
Macos
#1829:
Scheduled
August 2, 2024 00:44
1h 25m 12s
main
August 2, 2024 00:44
1h 25m 12s
Macos
Macos
#1828:
Scheduled
August 1, 2024 00:50
1h 8m 2s
main
August 1, 2024 00:50
1h 8m 2s
Macos
Macos
#1827:
Scheduled
July 31, 2024 00:36
1h 20m 36s
main
July 31, 2024 00:36
1h 20m 36s
Macos
Macos
#1826:
Scheduled
July 30, 2024 00:44
1h 12m 34s
main
July 30, 2024 00:44
1h 12m 34s
Macos
Macos
#1825:
Scheduled
July 29, 2024 00:46
1h 18m 6s
main
July 29, 2024 00:46
1h 18m 6s
Macos
Macos
#1824:
Scheduled
July 28, 2024 00:49
1h 17m 16s
main
July 28, 2024 00:49
1h 17m 16s
Macos
Macos
#1823:
Scheduled
July 27, 2024 00:43
1h 15m 52s
main
July 27, 2024 00:43
1h 15m 52s
Macos
Macos
#1822:
Scheduled
July 26, 2024 00:43
1h 17m 51s
main
July 26, 2024 00:43
1h 17m 51s
July 25, 2024 21:06
1h 53m 41s
July 25, 2024 20:36
1h 47m 3s
July 25, 2024 20:15
19m 56s
July 25, 2024 15:20
20m 12s
July 25, 2024 06:24
1h 45m 54s
Macos
Macos
#1816:
Scheduled
July 25, 2024 00:44
1h 17m 56s
main
July 25, 2024 00:44
1h 17m 56s
July 24, 2024 19:28
1h 58m 55s
July 24, 2024 10:39
1h 58m 4s
You can’t perform that action at this time.