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-05-16/214024-github-check-run-set-status-e2dae7
1
OK
-
2025-05-16 21:40:25
0 / 1s
2025-05-16/214020-git-fetch-c3e22e
0
OK
-
2025-05-16 21:40:24
0 / 4s
2025-05-16/214020-github-check-run-set-status-15e6aa
0
OK
-
2025-05-16 21:40:21
0 / 1s
2025-05-16/164922-github-check-run-set-status-31f371
1
OK
-
2025-05-16 16:49:23
0 / 1s
2025-05-16/164913-git-fetch-df40d3
0
OK
-
2025-05-16 16:49:22
0 / 9s
2025-05-16/164913-github-check-run-set-status-2a305a
0
OK
-
2025-05-16 16:49:14
0 / 1s
2025-05-15/133612-github-check-run-set-status-27dc50
1
OK
-
2025-05-15 13:36:13
0 / 1s
2025-05-15/133607-git-fetch-afad82
0
OK
-
2025-05-15 13:36:12
0 / 5s
2025-05-15/133607-github-check-run-set-status-331bab
0
OK
-
2025-05-15 13:36:08
0 / 1s
2025-05-15/114106-github-check-run-set-status-483fe3
1
OK
-
2025-05-15 11:41:07
0 / 1s
2025-05-15/114101-git-fetch-3092da
0
OK
-
2025-05-15 11:41:06
0 / 5s
2025-05-15/114101-github-check-run-set-status-85749a
0
OK
-
2025-05-15 11:41:02
0 / 1s
2025-05-15/082254-github-check-run-set-status-092582
1
OK
-
2025-05-15 08:22:54
0 / 0
2025-05-15/082250-git-fetch-bc7311
0
OK
-
2025-05-15 08:22:54
0 / 4s
2025-05-15/082250-github-check-run-set-status-eb34ba
0
OK
-
2025-05-15 08:22:51
0 / 1s
2025-05-15/081240-github-check-run-set-status-fca810
1
OK
-
2025-05-15 08:12:41
0 / 1s
2025-05-15/081235-git-fetch-91a4f6
0
OK
-
2025-05-15 08:12:40
0 / 5s
2025-05-15/081235-github-check-run-set-status-5da2fc
0
OK
-
2025-05-15 08:12:36
0 / 1s
2025-05-14/154300-github-check-run-set-status-30afb7
1
OK
-
2025-05-14 15:43:01
0 / 1s
2025-05-14/154255-git-fetch-4e93b5
0
OK
-
2025-05-14 15:43:00
0 / 5s
2025-05-14/154255-github-check-run-set-status-def6e8
0
OK
-
2025-05-14 15:42:56
0 / 1s
2025-05-14/152204-github-check-run-set-status-e74bac
1
OK
-
2025-05-14 15:22:05
0 / 1s
2025-05-14/152050-git-fetch-42b2f2
0
OK
-
2025-05-14 15:22:04
0 / 1min14s
2025-05-14/152050-github-check-run-set-status-50cef2
0
OK
-
2025-05-14 15:20:51
0 / 1s
2025-05-14/094738-github-check-run-set-status-7b46ac
1
OK
-
2025-05-14 09:47:38
0 / 0
2025-05-14/094506-docker-compose-3753f2
0
OK
-
2025-05-14 09:47:38
0 / 2min32s
2025-05-14/094506-github-check-run-set-status-77222f
0
OK
-
2025-05-14 09:45:08
0 / 2s
2025-05-14/094505-git-fetch-554d0f
0
OK
-
2025-05-14 09:45:06
0 / 1s
2025-05-14/093745-github-check-run-set-status-3f76c1
1
OK
-
2025-05-14 09:37:46
0 / 1s
2025-05-14/093507-docker-compose-a86ae9
0
OK
-
2025-05-14 09:37:45
0 / 2min38s
2025-05-14/093507-github-check-run-set-status-df0ad6
1
OK
-
2025-05-14 09:35:08
1s / 0
2025-05-14/093507-github-check-run-set-status-d73254
0
OK
-
2025-05-14 09:35:08
0 / 1s
2025-05-14/093506-git-fetch-4bd0ad
0
OK
-
2025-05-14 09:35:07
0 / 1s
2025-05-14/093506-git-fetch-28dec2
0
OK
-
2025-05-14 09:35:07
0 / 1s
2025-05-14/093506-github-check-run-set-status-a1ef52
0
OK
-
2025-05-14 09:35:06
0 / 0
2025-05-14/091840-github-check-run-set-status-7ff148
2
OK
-
2025-05-14 09:18:49
0 / 9s
2025-05-14/085431-docker-build-956669
0
OK
-
2025-05-14 09:18:40
21min47s / 2min22s
2025-05-14/091633-github-check-run-set-status-0b043d
1
OK
-
2025-05-14 09:16:35
0 / 2s
2025-05-14/084717-docker-compose-f914a5
0
OK
-
2025-05-14 09:16:33
0 / 29min16s
2025-05-14/091618-github-check-run-set-status-3b3a54
2
OK
-
2025-05-14 09:16:20
0 / 2s
2025-05-14/084717-docker-build-27fdbe
0
OK
-
2025-05-14 09:16:18
0 / 29min1s
2025-05-14/085431-github-check-run-set-status-119a22
1
OK
-
2025-05-14 08:54:31
0 / 0
2025-05-14/085429-git-fetch-883124
0
OK
-
2025-05-14 08:54:31
0 / 2s
2025-05-14/085429-github-check-run-set-status-f2f393
0
OK
-
2025-05-14 08:54:30
0 / 1s
2025-05-14/084717-github-check-run-set-status-2a80d6
1
OK
-
2025-05-14 08:47:18
0 / 1s
2025-05-14/084716-git-fetch-726679
0
OK
-
2025-05-14 08:47:17
0 / 1s
2025-05-14/084717-github-check-run-set-status-e0b926
0
OK
-
2025-05-14 08:47:17
0 / 0
2025-05-14/084716-git-fetch-3b47cc
0
OK
-
2025-05-14 08:47:17
0 / 1s
2025-05-14/084716-github-check-run-set-status-2978ac
0
OK
-
2025-05-14 08:47:16
0 / 0
2025-05-14/081138-github-check-run-set-status-e593cb
1
OK
-
2025-05-14 08:11:39
0 / 1s
2025-05-14/080758-docker-compose-116f44
0
OK
-
2025-05-14 08:11:38
0 / 3min40s
2025-05-14/080758-github-check-run-set-status-db15af
1
OK
-
2025-05-14 08:07:59
0 / 1s
2025-05-14/080758-github-check-run-set-status-fb083f
0
OK
-
2025-05-14 08:07:58
0 / 0
2025-05-14/080756-git-fetch-9a9a6f
0
OK
-
2025-05-14 08:07:58
0 / 2s
2025-05-14/080756-git-fetch-96d6e4
0
OK
-
2025-05-14 08:07:58
0 / 2s
2025-05-14/080756-github-check-run-set-status-d29052
0
OK
-
2025-05-14 08:07:57
0 / 1s
2025-05-13/150009-github-check-run-set-status-cbd722
4
OK
-
2025-05-13 15:00:10
0 / 1s
2025-05-13/145457-docker-build-c3bee1
1
OK
-
2025-05-13 15:00:09
2min40s / 2min32s
2025-05-13/145737-github-check-run-set-status-f364b1
4
OK
-
2025-05-13 14:57:38
0 / 1s
2025-05-13/145428-docker-build-6db63b
1
OK
-
2025-05-13 14:57:37
0 / 3min9s
2025-05-13/145457-github-check-run-set-status-73f62d
3
OK
-
2025-05-13 14:54:58
0 / 1s
2025-05-13/145428-github-check-run-set-status-99aa90
3
OK
-
2025-05-13 14:54:29
0 / 1s
2025-05-13/134024-github-check-run-set-status-6ce042
2
OK
-
2025-05-13 13:40:25
0 / 1s
2025-05-13/133943-docker-build-62a3c0
0
Docker build exited with status 1
Needs rebuild
2025-05-13 13:40:24
24s / 17s
2025-05-13/134007-github-check-run-set-status-3adcfc
2
OK
-
2025-05-13 13:40:08
0 / 1s
2025-05-13/133942-docker-build-d10ba6
0
Docker build exited with status 1
Needs rebuild
2025-05-13 13:40:07
0 / 25s
2025-05-13/133943-github-check-run-set-status-7483d6
1
OK
-
2025-05-13 13:39:46
2s / 1s
2025-05-13/133942-github-check-run-set-status-ecd6f3
1
OK
-
2025-05-13 13:39:45
0 / 3s
2025-05-13/133940-git-fetch-ca5678
0
OK
-
2025-05-13 13:39:43
0 / 3s
2025-05-13/133940-git-fetch-f10611
0
OK
-
2025-05-13 13:39:42
0 / 2s
2025-05-13/133940-github-check-run-set-status-1f8c73
0
OK
-
2025-05-13 13:39:42
1s / 1s
2025-05-13/133940-github-check-run-set-status-3099cc
0
OK
-
2025-05-13 13:39:41
0 / 1s
2025-05-13/095041-github-check-run-set-status-37f585
1
OK
-
2025-05-13 09:50:42
0 / 1s
2025-05-13/095035-git-fetch-50ae3d
0
OK
-
2025-05-13 09:50:41
0 / 6s
2025-05-13/095035-github-check-run-set-status-2fdb14
0
OK
-
2025-05-13 09:50:36
0 / 1s
2025-05-13/093856-github-check-run-set-status-0a6e57
1
OK
-
2025-05-13 09:38:57
0 / 1s
2025-05-13/093847-git-fetch-7d2b29
0
OK
-
2025-05-13 09:38:56
0 / 9s
2025-05-13/093847-github-check-run-set-status-c90823
0
OK
-
2025-05-13 09:38:48
0 / 1s
2025-05-12/130540-github-check-run-set-status-51354a
1
OK
-
2025-05-12 13:05:41
0 / 1s
2025-05-12/130533-git-fetch-68f451
0
OK
-
2025-05-12 13:05:40
0 / 7s
2025-05-12/130533-github-check-run-set-status-002c26
0
OK
-
2025-05-12 13:05:34
0 / 1s
2025-05-12/115258-github-check-run-set-status-83b4a4
1
OK
-
2025-05-12 11:52:59
0 / 1s
2025-05-12/115249-git-fetch-6d7613
0
OK
-
2025-05-12 11:52:58
0 / 9s
2025-05-12/115249-github-check-run-set-status-ae6726
0
OK
-
2025-05-12 11:52:50
0 / 1s
2025-05-12/031725-github-check-run-set-status-56eef5
2
OK
-
2025-05-12 03:17:26
1s / 0
2025-05-12/031725-github-check-run-set-status-006dff
2
OK
-
2025-05-12 03:17:26
0 / 1s
2025-05-12/031511-docker-build-c8fc4e
0
Docker build exited with status 1
-
2025-05-12 03:17:25
0 / 2min14s
2025-05-12/031511-github-check-run-set-status-c8c959
1
OK
-
2025-05-12 03:15:13
1s / 1s
2025-05-12/031511-github-check-run-set-status-db35f7
1
OK
-
2025-05-12 03:15:12
0 / 1s
2025-05-12/031508-git-fetch-0d54ef
0
OK
-
2025-05-12 03:15:11
0 / 3s
2025-05-12/031508-git-fetch-3c339a
0
OK
-
2025-05-12 03:15:11
0 / 3s
2025-05-12/031508-github-check-run-set-status-806a9a
0
OK
-
2025-05-12 03:15:09
0 / 1s
2025-05-12/031508-github-check-run-set-status-2a3907
0
OK
-
2025-05-12 03:15:08
0 / 0
2025-05-11/164110-github-check-run-set-status-f8112d
1
OK
-
2025-05-11 16:41:11
0 / 1s
2025-05-11/164053-git-fetch-d0c0b9
0
OK
-
2025-05-11 16:41:10
0 / 17s
2025-05-11/164053-github-check-run-set-status-642cb5
0
OK
-
2025-05-11 16:40:54
0 / 1s
2025-05-09/170946-github-check-run-set-status-40cf1e
1
OK
-
2025-05-09 17:09:46
0 / 0
2025-05-09/170939-git-fetch-67ccce
0
OK
-
2025-05-09 17:09:46
0 / 7s
2025-05-09/170939-github-check-run-set-status-938757
0
OK
-
2025-05-09 17:09:40
0 / 1s
2025-05-09/111343-github-check-run-set-status-0fc4c9
1
OK
-
2025-05-09 11:13:43
0 / 0