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-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
2025-07-07/162009-git-fetch-784fc9
0
OK
-
2025-07-07 16:20:13
0 / 4s
2025-07-07/162009-github-check-run-set-status-a2f96f
0
OK
-
2025-07-07 16:20:10
0 / 1s
2025-07-07/142230-github-check-run-set-status-ad45b4
1
OK
-
2025-07-07 14:22:31
0 / 1s
2025-07-07/142227-git-fetch-e02fa5
0
OK
-
2025-07-07 14:22:30
0 / 3s
2025-07-07/142227-github-check-run-set-status-597aa3
0
OK
-
2025-07-07 14:22:28
0 / 1s
2025-07-07/133129-github-check-run-set-status-605db6
1
OK
-
2025-07-07 13:31:30
0 / 1s
2025-07-07/133123-git-fetch-3e3a1f
0
OK
-
2025-07-07 13:31:29
0 / 6s
2025-07-07/133123-github-check-run-set-status-5d9dbf
0
OK
-
2025-07-07 13:31:23
0 / 0
2025-07-07/130902-github-check-run-set-status-45d134
1
OK
-
2025-07-07 13:09:03
0 / 1s
2025-07-07/130835-git-fetch-fdb091
0
OK
-
2025-07-07 13:09:02
0 / 27s
2025-07-07/130835-github-check-run-set-status-03dc42
0
OK
-
2025-07-07 13:08:36
0 / 1s
2025-07-07/032941-github-check-run-set-status-8b0638
2
OK
-
2025-07-07 03:29:43
1s / 1s
2025-07-07/032941-github-check-run-set-status-020351
2
OK
-
2025-07-07 03:29:42
0 / 1s
2025-07-07/032807-docker-build-a35ff0
0
Docker build exited with status 1
-
2025-07-07 03:29:41
0 / 1min34s
2025-07-07/032807-github-check-run-set-status-75e3ed
1
OK
-
2025-07-07 03:28:09
1s / 1s
2025-07-07/032807-github-check-run-set-status-c97fa6
1
OK
-
2025-07-07 03:28:08
0 / 1s
2025-07-07/032805-git-fetch-f0c2f5
0
OK
-
2025-07-07 03:28:07
0 / 2s
2025-07-07/032805-git-fetch-398f2e
0
OK
-
2025-07-07 03:28:07
0 / 2s
2025-07-07/032805-github-check-run-set-status-4ea71f
0
OK
-
2025-07-07 03:28:07
1s / 1s
2025-07-07/032805-github-check-run-set-status-ff7b30
0
OK
-
2025-07-07 03:28:06
0 / 1s
2025-07-04/164931-github-check-run-set-status-08a615
1
OK
-
2025-07-04 16:49:32
0 / 1s
2025-07-04/164925-git-fetch-59e477
0
OK
-
2025-07-04 16:49:31
0 / 6s
2025-07-04/164925-github-check-run-set-status-d6e80e
0
OK
-
2025-07-04 16:49:26
0 / 1s
2025-07-04/153216-github-check-run-set-status-e9f4c2
1
OK
-
2025-07-04 15:32:16
0 / 0
2025-07-04/153212-git-fetch-c5773c
0
OK
-
2025-07-04 15:32:16
0 / 4s
2025-07-04/153212-github-check-run-set-status-b3130e
0
OK
-
2025-07-04 15:32:12
0 / 0
2025-07-04/151401-github-check-run-set-status-65462f
1
OK
-
2025-07-04 15:14:02
0 / 1s
2025-07-04/151356-git-fetch-44436f
0
OK
-
2025-07-04 15:14:01
0 / 5s
2025-07-04/151356-github-check-run-set-status-fe2c03
0
OK
-
2025-07-04 15:13:57
0 / 1s
2025-07-04/090405-github-check-run-set-status-b41a54
1
OK
-
2025-07-04 09:04:06
0 / 1s
2025-07-04/090401-git-fetch-999d2c
0
OK
-
2025-07-04 09:04:05
0 / 4s
2025-07-04/090401-github-check-run-set-status-ae492a
0
OK
-
2025-07-04 09:04:02
0 / 1s
2025-07-04/070645-github-check-run-set-status-54d06a
1
OK
-
2025-07-04 07:06:46
0 / 1s
2025-07-04/070639-git-fetch-691740
0
OK
-
2025-07-04 07:06:45
0 / 6s
2025-07-04/070639-github-check-run-set-status-26a230
0
OK
-
2025-07-04 07:06:40
0 / 1s
2025-07-03/211103-github-check-run-set-status-dd437f
1
OK
-
2025-07-03 21:11:04
0 / 1s
2025-07-03/211058-git-fetch-28ef54
0
OK
-
2025-07-03 21:11:03
0 / 5s
2025-07-03/211058-github-check-run-set-status-daaa6d
0
OK
-
2025-07-03 21:10:59
0 / 1s
2025-07-03/185121-github-check-run-set-status-f9acb6
1
OK
-
2025-07-03 18:51:21
0 / 0
2025-07-03/185046-git-fetch-23c70e
0
OK
-
2025-07-03 18:51:21
0 / 35s
2025-07-03/185046-github-check-run-set-status-22ee1c
0
OK
-
2025-07-03 18:50:47
0 / 1s
2025-07-03/172944-github-check-run-set-status-625c9f
1
OK
-
2025-07-03 17:29:45
0 / 1s
2025-07-03/172714-docker-compose-d35fbe
0
OK
-
2025-07-03 17:29:44
0 / 2min30s
2025-07-03/172714-github-check-run-set-status-f30542
0
OK
-
2025-07-03 17:27:14
0 / 0
2025-07-03/172713-git-fetch-6ba0f2
0
OK
-
2025-07-03 17:27:14
0 / 1s
2025-07-03/172709-github-check-run-set-status-3308dc
1
OK
-
2025-07-03 17:27:09
0 / 0
2025-07-03/172420-docker-compose-030f12
0
OK
-
2025-07-03 17:27:08
0 / 2min48s
2025-07-03/172420-github-check-run-set-status-95d9e2
0
OK
-
2025-07-03 17:24:21
0 / 1s
2025-07-03/172419-git-fetch-fce7e5
0
OK
-
2025-07-03 17:24:20
0 / 1s
2025-07-03/171626-github-check-run-set-status-78ba3b
1
OK
-
2025-07-03 17:16:26
0 / 0
2025-07-03/171221-docker-compose-35e09c
0
OK
-
2025-07-03 17:16:26
0 / 4min5s
2025-07-03/171221-github-check-run-set-status-e7b748
0
OK
-
2025-07-03 17:12:22
0 / 1s
2025-07-03/171219-git-fetch-68d595
0
OK
-
2025-07-03 17:12:21
0 / 2s
2025-07-02/165416-github-check-run-set-status-39a2b1
1
OK
-
2025-07-02 16:54:17
0 / 1s
2025-07-02/165400-git-fetch-4007d7
0
OK
-
2025-07-02 16:54:16
0 / 16s
2025-07-02/165400-github-check-run-set-status-c96eeb
0
OK
-
2025-07-02 16:54:01
0 / 1s
2025-07-01/123631-github-check-run-set-status-229ba7
1
OK
-
2025-07-01 12:36:32
0 / 1s
2025-07-01/123610-git-fetch-82851c
0
OK
-
2025-07-01 12:36:31
0 / 21s
2025-07-01/123610-github-check-run-set-status-825f4b
0
OK
-
2025-07-01 12:36:11
0 / 1s
2025-06-30/183758-github-check-run-set-status-949a40
2
OK
-
2025-06-30 18:37:59
0 / 1s
2025-06-30/183326-docker-build-22ba53
0
OK
-
2025-06-30 18:37:58
2min26s / 2min6s
2025-06-30/183552-github-check-run-set-status-4045f0
2
OK
-
2025-06-30 18:35:52
0 / 0
2025-06-30/183325-docker-build-7b384f
0
OK
-
2025-06-30 18:35:52
0 / 2min27s