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
2026-04-23/190027-github-check-run-set-status-b5212f
1
OK
-
2026-04-23 19:00:28
0 / 1s
2026-04-23/190022-git-fetch-c6e399
0
OK
-
2026-04-23 19:00:27
0 / 5s
2026-04-23/190022-github-check-run-set-status-de36cb
0
OK
-
2026-04-23 19:00:22
0 / 0
2026-04-23/081717-github-check-run-set-status-5a593a
1
OK
-
2026-04-23 08:17:18
0 / 1s
2026-04-23/081712-git-fetch-cd8502
0
OK
-
2026-04-23 08:17:17
0 / 5s
2026-04-23/081712-github-check-run-set-status-72bf90
0
OK
-
2026-04-23 08:17:13
0 / 1s
2026-04-22/205820-github-check-run-set-status-6bb3f0
1
OK
-
2026-04-22 20:58:21
0 / 1s
2026-04-22/205812-git-fetch-ebd625
0
OK
-
2026-04-22 20:58:20
0 / 8s
2026-04-22/205812-github-check-run-set-status-bb2da8
0
OK
-
2026-04-22 20:58:13
0 / 1s
2026-04-21/174033-github-check-run-set-status-7d5d80
1
OK
-
2026-04-21 17:40:34
0 / 1s
2026-04-21/174029-git-fetch-603f32
0
OK
-
2026-04-21 17:40:33
0 / 4s
2026-04-21/174029-github-check-run-set-status-236cf3
0
OK
-
2026-04-21 17:40:30
0 / 1s
2026-04-21/161516-github-check-run-set-status-a0fc0b
1
OK
-
2026-04-21 16:15:17
0 / 1s
2026-04-21/161508-git-fetch-73cd43
0
OK
-
2026-04-21 16:15:16
0 / 8s
2026-04-21/161508-github-check-run-set-status-f2b13f
0
OK
-
2026-04-21 16:15:09
0 / 1s
2026-04-21/151403-github-check-run-set-status-da70f7
1
OK
-
2026-04-21 15:14:04
0 / 1s
2026-04-21/151355-git-fetch-58f705
0
OK
-
2026-04-21 15:14:03
0 / 8s
2026-04-21/151355-github-check-run-set-status-a16f1a
0
OK
-
2026-04-21 15:13:56
0 / 1s
2026-04-20/184717-github-check-run-set-status-8969a4
1
OK
-
2026-04-20 18:47:18
0 / 1s
2026-04-20/184711-git-fetch-c67966
0
OK
-
2026-04-20 18:47:17
0 / 6s
2026-04-20/184711-github-check-run-set-status-d2bf90
0
OK
-
2026-04-20 18:47:12
0 / 1s
2026-04-20/165855-github-check-run-set-status-9daa22
1
OK
-
2026-04-20 16:58:56
0 / 1s
2026-04-20/165852-git-fetch-226606
0
OK
-
2026-04-20 16:58:55
0 / 3s
2026-04-20/165852-github-check-run-set-status-635530
0
OK
-
2026-04-20 16:58:53
0 / 1s
2026-04-20/145322-github-check-run-set-status-e7deae
1
OK
-
2026-04-20 14:53:23
0 / 1s
2026-04-20/145316-git-fetch-60fde1
0
OK
-
2026-04-20 14:53:22
0 / 6s
2026-04-20/145316-github-check-run-set-status-ec149f
0
OK
-
2026-04-20 14:53:17
0 / 1s
2026-04-20/141358-github-check-run-set-status-979af9
1
OK
-
2026-04-20 14:13:59
0 / 1s
2026-04-20/141348-git-fetch-d6cded
0
OK
-
2026-04-20 14:13:58
0 / 10s
2026-04-20/141348-github-check-run-set-status-e86be9
0
OK
-
2026-04-20 14:13:49
0 / 1s
2026-04-18/092916-github-check-run-set-status-5ed45b
1
OK
-
2026-04-18 09:29:17
0 / 1s
2026-04-18/092912-git-fetch-b4734f
0
OK
-
2026-04-18 09:29:16
0 / 4s
2026-04-18/092912-github-check-run-set-status-fc0985
0
OK
-
2026-04-18 09:29:13
0 / 1s
2026-04-17/122531-github-check-run-set-status-0f3b2f
1
OK
-
2026-04-17 12:25:33
0 / 2s
2026-04-17/122527-git-fetch-ef03d4
0
OK
-
2026-04-17 12:25:31
0 / 4s
2026-04-17/122527-github-check-run-set-status-e55f5e
0
OK
-
2026-04-17 12:25:28
0 / 1s
2026-04-17/112650-github-check-run-set-status-9dee35
1
OK
-
2026-04-17 11:26:51
0 / 1s
2026-04-17/112639-git-fetch-a568b3
0
OK
-
2026-04-17 11:26:50
0 / 11s
2026-04-17/112639-github-check-run-set-status-b30cd3
0
OK
-
2026-04-17 11:26:40
0 / 1s
2026-04-14/064400-github-check-run-set-status-127f0a
1
OK
-
2026-04-14 06:44:01
0 / 1s
2026-04-14/064338-git-fetch-fe0f30
0
OK
-
2026-04-14 06:44:00
0 / 22s
2026-04-14/064338-github-check-run-set-status-7b1aa0
0
OK
-
2026-04-14 06:43:39
0 / 1s
2026-04-13/163100-github-check-run-set-status-1610ee
1
OK
-
2026-04-13 16:31:01
0 / 1s
2026-04-13/163056-git-fetch-c886de
0
OK
-
2026-04-13 16:31:00
0 / 4s
2026-04-13/163056-github-check-run-set-status-339e3e
0
OK
-
2026-04-13 16:30:57
0 / 1s
2026-04-13/153819-github-check-run-set-status-f50ba7
1
OK
-
2026-04-13 15:38:20
0 / 1s
2026-04-13/153713-git-fetch-42f572
0
OK
-
2026-04-13 15:38:19
0 / 1min6s
2026-04-13/153713-github-check-run-set-status-3ab306
0
OK
-
2026-04-13 15:37:14
0 / 1s
2026-04-13/145637-github-check-run-set-status-ced1d5
1
OK
-
2026-04-13 14:56:39
1s / 1s
2026-04-13/145637-github-check-run-set-status-2814ce
2
OK
-
2026-04-13 14:56:38
0 / 1s
2026-04-13/145423-docker-build-1fb718
0
OK
-
2026-04-13 14:56:37
0 / 2min14s
2026-04-13/145423-github-check-run-set-status-944c8e
0
OK
-
2026-04-13 14:54:25
1s / 1s
2026-04-13/145423-github-check-run-set-status-e18b20
1
OK
-
2026-04-13 14:54:24
0 / 1s
2026-04-13/145422-git-fetch-1b4ac8
0
OK
-
2026-04-13 14:54:23
0 / 1s
2026-04-13/145422-git-fetch-3bd0b1
0
OK
-
2026-04-13 14:54:23
0 / 1s
2026-04-13/145422-github-check-run-set-status-e5553f
0
OK
-
2026-04-13 14:54:23
0 / 1s
2026-04-13/132045-github-check-run-set-status-a192f6
1
OK
-
2026-04-13 13:20:46
0 / 1s
2026-04-13/131628-docker-compose-dd2041
0
OK
-
2026-04-13 13:20:45
0 / 4min17s
2026-04-13/131628-github-check-run-set-status-200ed5
0
OK
-
2026-04-13 13:16:29
0 / 1s
2026-04-13/131627-git-fetch-e4effa
0
OK
-
2026-04-13 13:16:28
0 / 1s
2026-04-13/130805-github-check-run-set-status-dc8bd3
1
OK
-
2026-04-13 13:08:07
1s / 1s
2026-04-13/130805-github-check-run-set-status-ffb444
2
OK
-
2026-04-13 13:08:06
0 / 1s
2026-04-13/130531-docker-build-dbf77d
0
OK
-
2026-04-13 13:08:05
0 / 2min34s
2026-04-13/130531-github-check-run-set-status-23e898
0
OK
-
2026-04-13 13:05:33
1s / 1s
2026-04-13/130531-github-check-run-set-status-358e57
1
OK
-
2026-04-13 13:05:32
0 / 1s
2026-04-13/130530-git-fetch-9f0724
0
OK
-
2026-04-13 13:05:31
0 / 1s
2026-04-13/130530-git-fetch-d2e52a
0
OK
-
2026-04-13 13:05:31
0 / 1s
2026-04-13/130530-github-check-run-set-status-23ac84
0
OK
-
2026-04-13 13:05:31
0 / 1s
2026-04-13/124915-github-check-run-set-status-967b36
1
OK
-
2026-04-13 12:49:17
1s / 1s
2026-04-13/124915-github-check-run-set-status-9b6198
2
OK
-
2026-04-13 12:49:16
0 / 1s
2026-04-13/124803-docker-build-9cb9cf
0
Docker build exited with status 1
-
2026-04-13 12:49:15
0 / 1min12s
2026-04-13/124804-github-check-run-set-status-619349
0
OK
-
2026-04-13 12:48:06
1s / 1s
2026-04-13/124803-github-check-run-set-status-8af237
1
OK
-
2026-04-13 12:48:05
1s / 1s
2026-04-13/124802-git-fetch-1fd6f5
0
OK
-
2026-04-13 12:48:03
0 / 1s
2026-04-13/124802-git-fetch-194f63
0
OK
-
2026-04-13 12:48:03
0 / 1s
2026-04-13/124802-github-check-run-set-status-55d830
0
OK
-
2026-04-13 12:48:03
0 / 1s
2026-04-13/123540-github-check-run-set-status-def9a1
1
OK
-
2026-04-13 12:35:43
1s / 2s
2026-04-13/123540-github-check-run-set-status-51d3c7
2
OK
-
2026-04-13 12:35:41
0 / 1s
2026-04-13/123428-docker-build-38d538
0
Docker build exited with status 1
-
2026-04-13 12:35:40
0 / 1min12s
2026-04-13/123428-github-check-run-set-status-ad4342
0
OK
-
2026-04-13 12:34:30
1s / 1s
2026-04-13/123428-github-check-run-set-status-ed7766
1
OK
-
2026-04-13 12:34:29
0 / 1s
2026-04-13/123427-git-fetch-6c9a23
0
OK
-
2026-04-13 12:34:28
0 / 1s
2026-04-13/123426-git-fetch-c1f09b
0
OK
-
2026-04-13 12:34:28
0 / 2s
2026-04-13/123426-github-check-run-set-status-c304b0
0
OK
-
2026-04-13 12:34:27
0 / 1s
2026-04-13/122704-github-check-run-set-status-cd0ac2
2
OK
-
2026-04-13 12:27:05
0 / 1s
2026-04-13/122446-docker-build-66d62a
0
Docker build exited with status 1
-
2026-04-13 12:27:04
0 / 2min18s
2026-04-13/122446-github-check-run-set-status-06744a
1
OK
-
2026-04-13 12:24:47
0 / 1s
2026-04-13/122440-git-fetch-7d07d4
0
OK
-
2026-04-13 12:24:46
0 / 6s
2026-04-13/122440-github-check-run-set-status-9128ae
0
OK
-
2026-04-13 12:24:41
0 / 1s
2026-04-10/071751-github-check-run-set-status-f9c70b
1
OK
-
2026-04-10 07:17:52
0 / 1s
2026-04-10/071747-git-fetch-e7628f
0
OK
-
2026-04-10 07:17:51
0 / 4s
2026-04-10/071747-github-check-run-set-status-03756c
0
OK
-
2026-04-10 07:17:48
0 / 1s
2026-04-09/180834-github-check-run-set-status-6d19d4
1
OK
-
2026-04-09 18:08:35
0 / 1s
2026-04-09/180826-git-fetch-50e2d6
0
OK
-
2026-04-09 18:08:34
0 / 8s
2026-04-09/180826-github-check-run-set-status-2d791f
0
OK
-
2026-04-09 18:08:27
0 / 1s
2026-04-08/124539-github-check-run-set-status-63b8a4
1
OK
-
2026-04-08 12:45:40
0 / 1s
2026-04-08/124535-git-fetch-7d3d13
0
OK
-
2026-04-08 12:45:39
0 / 4s
2026-04-08/124535-github-check-run-set-status-9a3147
0
OK
-
2026-04-08 12:45:36
0 / 1s
2026-04-08/123231-github-check-run-set-status-ea9ef5
1
OK
-
2026-04-08 12:32:32
0 / 1s
2026-04-08/123215-git-fetch-07a48f
0
OK
-
2026-04-08 12:32:31
0 / 16s