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-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
2026-04-08/123215-github-check-run-set-status-e07283
0
OK
-
2026-04-08 12:32:16
0 / 1s
2026-04-07/152538-github-check-run-set-status-8bed08
2
OK
-
2026-04-07 15:25:40
1s / 1s
2026-04-07/152538-github-check-run-set-status-2d3ce1
2
OK
-
2026-04-07 15:25:39
0 / 1s
2026-04-07/152255-docker-build-bb31ff
0
OK
-
2026-04-07 15:25:38
0 / 2min43s
2026-04-07/152255-github-check-run-set-status-cb490c
1
OK
-
2026-04-07 15:22:57
1s / 1s
2026-04-07/152255-github-check-run-set-status-772143
1
OK
-
2026-04-07 15:22:56
0 / 1s
2026-04-07/152253-git-fetch-00d4ec
0
OK
-
2026-04-07 15:22:55
0 / 2s
2026-04-07/152253-github-check-run-set-status-358178
0
OK
-
2026-04-07 15:22:55
1s / 1s
2026-04-07/152253-git-fetch-34697e
0
OK
-
2026-04-07 15:22:55
0 / 2s
2026-04-07/152253-github-check-run-set-status-8d3875
0
OK
-
2026-04-07 15:22:54
0 / 1s
2026-04-07/083450-github-check-run-set-status-87f0da
1
OK
-
2026-04-07 08:34:51
0 / 1s
2026-04-07/083442-git-fetch-3d4cdd
0
OK
-
2026-04-07 08:34:50
0 / 8s
2026-04-07/083442-github-check-run-set-status-54dd0a
0
OK
-
2026-04-07 08:34:43
0 / 1s
2026-04-07/063945-github-check-run-set-status-0ff989
1
OK
-
2026-04-07 06:39:45
0 / 0
2026-04-07/063933-git-fetch-2836bd
0
OK
-
2026-04-07 06:39:45
0 / 12s
2026-04-07/063933-github-check-run-set-status-f87eb1
0
OK
-
2026-04-07 06:39:34
0 / 1s
2026-04-06/100939-github-check-run-set-status-d7d626
1
OK
-
2026-04-06 10:09:40
0 / 1s
2026-04-06/100648-docker-compose-55bdb1
0
OK
-
2026-04-06 10:09:39
0 / 2min51s
2026-04-06/100702-github-check-run-set-status-656f35
1
OK
-
2026-04-06 10:07:02
0 / 0
2026-04-06/100241-docker-compose-f0e03e
0
OK
-
2026-04-06 10:07:02
0 / 4min21s
2026-04-06/100649-github-check-run-set-status-bbb379
0
OK
-
2026-04-06 10:06:51
1s / 1s
2026-04-06/100648-github-check-run-set-status-133d20
0
OK
-
2026-04-06 10:06:50
1s / 1s
2026-04-06/100648-git-fetch-b014dd
0
OK
-
2026-04-06 10:06:49
0 / 1s
2026-04-06/100648-git-fetch-fb07f1
0
OK
-
2026-04-06 10:06:48
0 / 0
2026-04-06/100241-github-check-run-set-status-176117
0
OK
-
2026-04-06 10:02:42
0 / 1s
2026-04-06/100240-git-fetch-8d1e75
0
OK
-
2026-04-06 10:02:41
0 / 1s
2026-04-06/095553-github-check-run-set-status-f4b933
2
OK
-
2026-04-06 09:55:54
0 / 1s
2026-04-06/095328-docker-build-d41139
0
OK
-
2026-04-06 09:55:53
0 / 2min25s
2026-04-06/095328-github-check-run-set-status-3b1425
1
OK
-
2026-04-06 09:53:29
0 / 1s
2026-04-06/095327-git-fetch-bdb30c
0
OK
-
2026-04-06 09:53:28
0 / 1s
2026-04-06/095327-github-check-run-set-status-30441c
0
OK
-
2026-04-06 09:53:27
0 / 0
2026-04-06/093714-github-check-run-set-status-2038ec
2
OK
-
2026-04-06 09:37:15
0 / 1s
2026-04-06/093337-docker-build-d4d9a2
0
OK
-
2026-04-06 09:37:14
0 / 3min37s
2026-04-06/093337-github-check-run-set-status-13417b
1
OK
-
2026-04-06 09:33:38
0 / 1s
2026-04-06/093332-git-fetch-67b9f4
0
OK
-
2026-04-06 09:33:37
0 / 5s
2026-04-06/093332-github-check-run-set-status-3d260b
0
OK
-
2026-04-06 09:33:33
0 / 1s
2026-04-05/144617-github-check-run-set-status-732587
1
OK
-
2026-04-05 14:46:18
0 / 1s
2026-04-05/144551-git-fetch-ed703d
0
OK
-
2026-04-05 14:46:17
0 / 26s
2026-04-05/144551-github-check-run-set-status-c2614b
0
OK
-
2026-04-05 14:45:52
0 / 1s