deploy-rocq-prover_org
Home
Query
Log analysis
Jobs
Log in
Operation type:
(any)
docker-build
docker-compose
git-fetch
github-check-run-set-status
Result:
(any)
Passed
Failed
Needs rebuild:
(any)
True
False
Date:
Job
Build #
Result
Rebuild?
Finished
Queue / run time
2025-07-17/221734-github-check-run-set-status-76df53
1
OK
-
2025-07-17 22:17:35
0 / 1s
2025-07-17/221728-git-fetch-150441
0
OK
-
2025-07-17 22:17:34
0 / 6s
2025-07-17/221728-github-check-run-set-status-3cef59
0
OK
-
2025-07-17 22:17:29
0 / 1s
2025-07-17/141205-github-check-run-set-status-11e533
1
OK
-
2025-07-17 14:12:06
0 / 1s
2025-07-17/141159-git-fetch-df5bf8
0
OK
-
2025-07-17 14:12:05
0 / 6s
2025-07-17/141159-github-check-run-set-status-6d87c0
0
OK
-
2025-07-17 14:12:00
0 / 1s
2025-07-17/123529-github-check-run-set-status-f42425
1
OK
-
2025-07-17 12:35:30
0 / 1s
2025-07-17/123525-git-fetch-f0d898
0
OK
-
2025-07-17 12:35:29
0 / 4s
2025-07-17/123525-github-check-run-set-status-e4a0d4
0
OK
-
2025-07-17 12:35:26
0 / 1s
2025-07-17/120750-github-check-run-set-status-43bb6c
1
OK
-
2025-07-17 12:07:51
0 / 1s
2025-07-17/120741-git-fetch-333ad1
0
OK
-
2025-07-17 12:07:50
0 / 9s
2025-07-17/120741-github-check-run-set-status-14cddb
0
OK
-
2025-07-17 12:07:42
0 / 1s
2025-07-17/103940-github-check-run-set-status-495177
1
OK
-
2025-07-17 10:39:41
0 / 1s
2025-07-17/103937-git-fetch-0714de
0
OK
-
2025-07-17 10:39:40
0 / 3s
2025-07-17/103937-github-check-run-set-status-a03f81
0
OK
-
2025-07-17 10:39:37
0 / 0
2025-07-17/084139-github-check-run-set-status-812d61
1
OK
-
2025-07-17 08:41:40
0 / 1s
2025-07-17/084128-git-fetch-407591
0
OK
-
2025-07-17 08:41:39
0 / 11s
2025-07-17/084128-github-check-run-set-status-c4b393
0
OK
-
2025-07-17 08:41:28
0 / 0
2025-07-15/123229-github-check-run-set-status-e53377
1
OK
-
2025-07-15 12:32:30
0 / 1s
2025-07-15/123223-git-fetch-adc665
0
OK
-
2025-07-15 12:32:29
0 / 6s
2025-07-15/123223-github-check-run-set-status-5ebd31
0
OK
-
2025-07-15 12:32:24
0 / 1s
2025-07-15/122550-github-check-run-set-status-783565
1
OK
-
2025-07-15 12:25:51
0 / 1s
2025-07-15/122546-git-fetch-bab12b
0
OK
-
2025-07-15 12:25:50
0 / 4s
2025-07-15/122546-github-check-run-set-status-c70822
0
OK
-
2025-07-15 12:25:47
0 / 1s
2025-07-15/081611-github-check-run-set-status-a99217
1
OK
-
2025-07-15 08:16:12
0 / 1s
2025-07-15/081605-git-fetch-d8a188
0
OK
-
2025-07-15 08:16:11
0 / 6s
2025-07-15/081605-github-check-run-set-status-e8399b
0
OK
-
2025-07-15 08:16:06
0 / 1s
2025-07-15/081204-github-check-run-set-status-af23d9
1
OK
-
2025-07-15 08:12:05
0 / 1s
2025-07-15/081159-git-fetch-f05cc7
0
OK
-
2025-07-15 08:12:04
0 / 5s
2025-07-15/081159-github-check-run-set-status-505cf2
0
OK
-
2025-07-15 08:12:00
0 / 1s
2025-07-14/122609-github-check-run-set-status-4809a6
1
OK
-
2025-07-14 12:26:10
0 / 1s
2025-07-14/122605-git-fetch-0a63ed
0
OK
-
2025-07-14 12:26:09
0 / 4s
2025-07-14/122605-github-check-run-set-status-4b0637
0
OK
-
2025-07-14 12:26:06
0 / 1s
2025-07-14/121805-github-check-run-set-status-4fbe7a
1
OK
-
2025-07-14 12:18:06
0 / 1s
2025-07-14/121756-git-fetch-dd771f
0
OK
-
2025-07-14 12:18:05
0 / 9s
2025-07-14/121756-github-check-run-set-status-9f8abb
0
OK
-
2025-07-14 12:17:57
0 / 1s
2025-07-14/034222-github-check-run-set-status-044863
2
OK
-
2025-07-14 03:42:24
1s / 1s
2025-07-14/034222-github-check-run-set-status-4be246
2
OK
-
2025-07-14 03:42:23
0 / 1s
2025-07-14/034012-docker-build-90ff64
0
Docker build exited with status 1
-
2025-07-14 03:42:22
0 / 2min10s
2025-07-14/034013-github-check-run-set-status-a3be00
1
OK
-
2025-07-14 03:40:14
0 / 1s
2025-07-14/034012-github-check-run-set-status-301a8a
1
OK
-
2025-07-14 03:40:13
0 / 1s
2025-07-14/034007-git-fetch-6003da
0
OK
-
2025-07-14 03:40:13
0 / 6s
2025-07-14/034007-git-fetch-2296bc
0
OK
-
2025-07-14 03:40:12
0 / 5s
2025-07-14/034007-github-check-run-set-status-06435a
0
OK
-
2025-07-14 03:40:09
1s / 1s
2025-07-14/034007-github-check-run-set-status-34689e
0
OK
-
2025-07-14 03:40:08
0 / 1s
2025-07-12/181702-github-check-run-set-status-a7ebb6
1
OK
-
2025-07-12 18:17:03
0 / 1s
2025-07-12/181655-git-fetch-9c637f
0
OK
-
2025-07-12 18:17:02
0 / 7s
2025-07-12/181655-github-check-run-set-status-61404c
0
OK
-
2025-07-12 18:16:56
0 / 1s
2025-07-12/132241-github-check-run-set-status-cdf5d2
1
OK
-
2025-07-12 13:22:42
0 / 1s
2025-07-12/132232-git-fetch-51d18a
0
OK
-
2025-07-12 13:22:41
0 / 9s
2025-07-12/132232-github-check-run-set-status-221156
0
OK
-
2025-07-12 13:22:33
0 / 1s
2025-07-11/194252-github-check-run-set-status-4a667f
1
OK
-
2025-07-11 19:42:53
0 / 1s
2025-07-11/194246-git-fetch-8572d5
0
OK
-
2025-07-11 19:42:52
0 / 6s
2025-07-11/194246-github-check-run-set-status-1e9a14
0
OK
-
2025-07-11 19:42:47
0 / 1s
2025-07-11/162848-github-check-run-set-status-7ed060
1
OK
-
2025-07-11 16:28:49
0 / 1s
2025-07-11/162843-git-fetch-d4951a
0
OK
-
2025-07-11 16:28:48
0 / 5s
2025-07-11/162843-github-check-run-set-status-1ac325
0
OK
-
2025-07-11 16:28:44
0 / 1s
2025-07-11/140415-github-check-run-set-status-808134
1
OK
-
2025-07-11 14:04:16
0 / 1s
2025-07-11/140412-git-fetch-53d00c
0
OK
-
2025-07-11 14:04:15
0 / 3s
2025-07-11/140412-github-check-run-set-status-f59669
0
OK
-
2025-07-11 14:04:12
0 / 0
2025-07-11/130344-github-check-run-set-status-7da7ad
1
OK
-
2025-07-11 13:03:45
0 / 1s
2025-07-11/130334-git-fetch-7b0f65
0
OK
-
2025-07-11 13:03:44
0 / 10s
2025-07-11/130334-github-check-run-set-status-b7cd66
0
OK
-
2025-07-11 13:03:34
0 / 0
2025-07-09/164903-github-check-run-set-status-c2bcd4
1
OK
-
2025-07-09 16:49:04
0 / 1s
2025-07-09/164857-git-fetch-dfdf94
0
OK
-
2025-07-09 16:49:03
0 / 6s
2025-07-09/164857-github-check-run-set-status-ec0f96
0
OK
-
2025-07-09 16:48:58
0 / 1s
2025-07-09/134211-github-check-run-set-status-9bcaf9
1
OK
-
2025-07-09 13:42:12
0 / 1s
2025-07-09/134207-git-fetch-8c573c
0
OK
-
2025-07-09 13:42:11
0 / 4s
2025-07-09/134207-github-check-run-set-status-31825b
0
OK
-
2025-07-09 13:42:08
0 / 1s
2025-07-09/102753-github-check-run-set-status-65e390
1
OK
-
2025-07-09 10:27:54
0 / 1s
2025-07-09/102748-git-fetch-c7ed81
0
OK
-
2025-07-09 10:27:53
0 / 5s
2025-07-09/102748-github-check-run-set-status-440b45
0
OK
-
2025-07-09 10:27:49
0 / 1s
2025-07-09/083923-github-check-run-set-status-5ad9fd
1
OK
-
2025-07-09 08:39:24
0 / 1s
2025-07-09/083918-git-fetch-5133ef
0
OK
-
2025-07-09 08:39:23
0 / 5s
2025-07-09/083918-github-check-run-set-status-a6d646
0
OK
-
2025-07-09 08:39:19
0 / 1s
2025-07-09/083257-github-check-run-set-status-e25ae3
1
OK
-
2025-07-09 08:32:58
0 / 1s
2025-07-09/083251-git-fetch-a515ba
0
OK
-
2025-07-09 08:32:57
0 / 6s
2025-07-09/083251-github-check-run-set-status-4ea1c8
0
OK
-
2025-07-09 08:32:51
0 / 0
2025-07-09/080747-github-check-run-set-status-a09b92
1
OK
-
2025-07-09 08:07:48
0 / 1s
2025-07-09/080738-git-fetch-83b107
0
OK
-
2025-07-09 08:07:47
0 / 9s
2025-07-09/080738-github-check-run-set-status-4c19e7
0
OK
-
2025-07-09 08:07:38
0 / 0
2025-07-08/192245-github-check-run-set-status-0dcf6d
1
OK
-
2025-07-08 19:22:46
0 / 1s
2025-07-08/192241-git-fetch-8c1a27
0
OK
-
2025-07-08 19:22:45
0 / 4s
2025-07-08/192241-github-check-run-set-status-466c17
0
OK
-
2025-07-08 19:22:41
0 / 0
2025-07-08/124054-github-check-run-set-status-ab69c6
1
OK
-
2025-07-08 12:40:55
0 / 1s
2025-07-08/124050-git-fetch-3a1673
0
OK
-
2025-07-08 12:40:54
0 / 4s
2025-07-08/124050-github-check-run-set-status-1d5448
0
OK
-
2025-07-08 12:40:51
0 / 1s
2025-07-08/122755-github-check-run-set-status-442869
1
OK
-
2025-07-08 12:27:56
0 / 1s
2025-07-08/122748-git-fetch-cf2384
0
OK
-
2025-07-08 12:27:55
0 / 7s
2025-07-08/122748-github-check-run-set-status-434275
0
OK
-
2025-07-08 12:27:49
0 / 1s
2025-07-08/082755-github-check-run-set-status-3c0eeb
1
OK
-
2025-07-08 08:27:56
0 / 1s
2025-07-08/082742-git-fetch-315763
0
OK
-
2025-07-08 08:27:55
0 / 13s
2025-07-08/082742-github-check-run-set-status-1b5f8e
0
OK
-
2025-07-08 08:27:43
0 / 1s
2025-07-07/165026-github-check-run-set-status-2fedf8
1
OK
-
2025-07-07 16:50:27
0 / 1s
2025-07-07/165014-git-fetch-11dc70
0
OK
-
2025-07-07 16:50:26
0 / 12s
2025-07-07/165014-github-check-run-set-status-8e4450
0
OK
-
2025-07-07 16:50:14
0 / 0
2025-07-07/164435-github-check-run-set-status-cbd5d6
1
OK
-
2025-07-07 16:44:36
0 / 1s
2025-07-07/164428-git-fetch-31dc6b
0
OK
-
2025-07-07 16:44:35
0 / 7s
2025-07-07/164428-github-check-run-set-status-fb5c51
0
OK
-
2025-07-07 16:44:29
0 / 1s
2025-07-07/162013-github-check-run-set-status-7b52f0
1
OK
-
2025-07-07 16:20:14
0 / 1s