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-06-20/232637-github-check-run-set-status-d21ab0
2
OK
-
2025-06-20 23:26:37
0 / 0
2025-06-20/232307-docker-build-f3886a
0
OK
-
2025-06-20 23:26:37
0 / 3min30s
2025-06-20/232307-github-check-run-set-status-d84f97
1
OK
-
2025-06-20 23:23:08
0 / 1s
2025-06-20/232305-git-fetch-2db400
0
OK
-
2025-06-20 23:23:07
0 / 2s
2025-06-20/232305-github-check-run-set-status-1fe551
0
OK
-
2025-06-20 23:23:06
0 / 1s
2025-06-20/215741-github-check-run-set-status-674fc3
1
OK
-
2025-06-20 21:57:42
0 / 1s
2025-06-20/215737-git-fetch-5123b9
0
OK
-
2025-06-20 21:57:41
0 / 4s
2025-06-20/215737-github-check-run-set-status-e6836a
0
OK
-
2025-06-20 21:57:38
0 / 1s
2025-06-20/171011-github-check-run-set-status-342cd3
1
OK
-
2025-06-20 17:10:13
0 / 2s
2025-06-20/171005-git-fetch-6b7a08
0
OK
-
2025-06-20 17:10:11
0 / 6s
2025-06-20/171005-github-check-run-set-status-0a66be
0
OK
-
2025-06-20 17:10:06
0 / 1s
2025-06-20/122030-github-check-run-set-status-dd91d1
1
OK
-
2025-06-20 12:20:30
0 / 0
2025-06-20/122025-git-fetch-a46aca
0
OK
-
2025-06-20 12:20:30
0 / 5s
2025-06-20/122025-github-check-run-set-status-7724ff
0
OK
-
2025-06-20 12:20:26
0 / 1s
2025-06-20/120437-github-check-run-set-status-b74cc7
1
OK
-
2025-06-20 12:04:38
0 / 1s
2025-06-20/120421-git-fetch-7a0e8a
0
OK
-
2025-06-20 12:04:37
0 / 16s
2025-06-20/120422-github-check-run-set-status-0a52d4
0
OK
-
2025-06-20 12:04:22
0 / 0
2025-06-19/164600-github-check-run-set-status-f81502
1
OK
-
2025-06-19 16:46:01
0 / 1s
2025-06-19/164553-git-fetch-25d224
0
OK
-
2025-06-19 16:46:00
0 / 7s
2025-06-19/164553-github-check-run-set-status-70c3b3
0
OK
-
2025-06-19 16:45:54
0 / 1s
2025-06-19/161927-github-check-run-set-status-0475be
1
OK
-
2025-06-19 16:19:28
0 / 1s
2025-06-19/161923-git-fetch-85ac87
0
OK
-
2025-06-19 16:19:27
0 / 4s
2025-06-19/161923-github-check-run-set-status-205fd4
0
OK
-
2025-06-19 16:19:24
0 / 1s
2025-06-19/130459-github-check-run-set-status-88447d
1
OK
-
2025-06-19 13:05:00
0 / 1s
2025-06-19/130452-git-fetch-db04af
0
OK
-
2025-06-19 13:04:59
0 / 7s
2025-06-19/130452-github-check-run-set-status-6e24d7
0
OK
-
2025-06-19 13:04:53
0 / 1s
2025-06-19/122939-github-check-run-set-status-e42c68
1
OK
-
2025-06-19 12:29:40
0 / 1s
2025-06-19/122927-git-fetch-2e912e
0
OK
-
2025-06-19 12:29:39
0 / 12s
2025-06-19/122927-github-check-run-set-status-47974c
0
OK
-
2025-06-19 12:29:27
0 / 0
2025-06-18/154310-github-check-run-set-status-c98fff
1
OK
-
2025-06-18 15:43:11
0 / 1s
2025-06-18/154306-git-fetch-f28dd9
0
OK
-
2025-06-18 15:43:10
0 / 4s
2025-06-18/154306-github-check-run-set-status-48601c
0
OK
-
2025-06-18 15:43:07
0 / 1s
2025-06-18/151438-github-check-run-set-status-7b1ccd
1
OK
-
2025-06-18 15:14:39
0 / 1s
2025-06-18/151432-git-fetch-6d11bc
0
OK
-
2025-06-18 15:14:38
0 / 6s
2025-06-18/151432-github-check-run-set-status-cd029e
0
OK
-
2025-06-18 15:14:33
0 / 1s
2025-06-18/143721-github-check-run-set-status-9dd04e
1
OK
-
2025-06-18 14:37:22
0 / 1s
2025-06-18/143718-git-fetch-ed8229
0
OK
-
2025-06-18 14:37:21
0 / 3s
2025-06-18/143718-github-check-run-set-status-16ebbe
0
OK
-
2025-06-18 14:37:19
0 / 1s
2025-06-18/140425-github-check-run-set-status-07392f
1
OK
-
2025-06-18 14:04:26
0 / 1s
2025-06-18/140419-git-fetch-76db94
0
OK
-
2025-06-18 14:04:25
0 / 6s
2025-06-18/140419-github-check-run-set-status-d237b6
0
OK
-
2025-06-18 14:04:19
0 / 0
2025-06-18/134118-github-check-run-set-status-41662a
1
OK
-
2025-06-18 13:41:19
0 / 1s
2025-06-18/134112-git-fetch-fea1f3
0
OK
-
2025-06-18 13:41:18
0 / 6s
2025-06-18/134112-github-check-run-set-status-1309b1
0
OK
-
2025-06-18 13:41:12
0 / 0
2025-06-18/123555-github-check-run-set-status-488319
1
OK
-
2025-06-18 12:35:56
0 / 1s
2025-06-18/123551-git-fetch-ce9709
0
OK
-
2025-06-18 12:35:55
0 / 4s
2025-06-18/123551-github-check-run-set-status-eb99d5
0
OK
-
2025-06-18 12:35:52
0 / 1s
2025-06-18/102501-github-check-run-set-status-601a6f
1
OK
-
2025-06-18 10:25:01
0 / 0
2025-06-18/102455-git-fetch-4963ec
0
OK
-
2025-06-18 10:25:01
0 / 6s
2025-06-18/102455-github-check-run-set-status-55db0e
0
OK
-
2025-06-18 10:24:56
0 / 1s
2025-06-18/100206-github-check-run-set-status-3d8784
1
OK
-
2025-06-18 10:02:07
0 / 1s
2025-06-18/100202-git-fetch-8f1529
0
OK
-
2025-06-18 10:02:06
0 / 4s
2025-06-18/100202-github-check-run-set-status-8c6187
0
OK
-
2025-06-18 10:02:03
0 / 1s
2025-06-18/094558-github-check-run-set-status-63083b
1
OK
-
2025-06-18 09:45:59
0 / 1s
2025-06-18/094554-git-fetch-60ed0b
0
OK
-
2025-06-18 09:45:58
0 / 4s
2025-06-18/094554-github-check-run-set-status-29ac28
0
OK
-
2025-06-18 09:45:55
0 / 1s
2025-06-18/044938-github-check-run-set-status-1debe5
1
OK
-
2025-06-18 04:49:39
0 / 1s
2025-06-18/044929-git-fetch-32c00f
0
OK
-
2025-06-18 04:49:38
0 / 9s
2025-06-18/044929-github-check-run-set-status-8537d1
0
OK
-
2025-06-18 04:49:29
0 / 0
2025-06-17/210726-github-check-run-set-status-9f7139
1
OK
-
2025-06-17 21:07:27
0 / 1s
2025-06-17/210721-git-fetch-ae83d6
0
OK
-
2025-06-17 21:07:26
0 / 5s
2025-06-17/210721-github-check-run-set-status-cba2a2
0
OK
-
2025-06-17 21:07:22
0 / 1s
2025-06-17/173257-github-check-run-set-status-de876f
1
OK
-
2025-06-17 17:32:58
0 / 1s
2025-06-17/173250-git-fetch-9bed97
0
OK
-
2025-06-17 17:32:57
0 / 7s
2025-06-17/173250-github-check-run-set-status-7c183b
0
OK
-
2025-06-17 17:32:51
0 / 1s
2025-06-17/170904-github-check-run-set-status-1f3018
1
OK
-
2025-06-17 17:09:04
0 / 0
2025-06-17/170858-git-fetch-a5cf8e
0
OK
-
2025-06-17 17:09:04
0 / 6s
2025-06-17/170858-github-check-run-set-status-9ffffe
0
OK
-
2025-06-17 17:08:59
0 / 1s
2025-06-17/160210-github-check-run-set-status-acc960
1
OK
-
2025-06-17 16:02:11
0 / 1s
2025-06-17/160205-git-fetch-d6234b
0
OK
-
2025-06-17 16:02:10
0 / 5s
2025-06-17/160205-github-check-run-set-status-0a95b9
0
OK
-
2025-06-17 16:02:07
0 / 2s
2025-06-17/154840-github-check-run-set-status-843117
1
OK
-
2025-06-17 15:48:41
0 / 1s
2025-06-17/154837-git-fetch-1689bd
0
OK
-
2025-06-17 15:48:40
0 / 3s
2025-06-17/154837-github-check-run-set-status-77e694
0
OK
-
2025-06-17 15:48:38
0 / 1s
2025-06-17/152101-github-check-run-set-status-b57df4
1
OK
-
2025-06-17 15:21:02
0 / 1s
2025-06-17/152057-git-fetch-7dab73
0
OK
-
2025-06-17 15:21:01
0 / 4s
2025-06-17/152057-github-check-run-set-status-baf53f
0
OK
-
2025-06-17 15:20:58
0 / 1s
2025-06-17/130730-github-check-run-set-status-ea111b
1
OK
-
2025-06-17 13:07:31
0 / 1s
2025-06-17/130726-git-fetch-aa5eab
0
OK
-
2025-06-17 13:07:30
0 / 4s
2025-06-17/130726-github-check-run-set-status-ee2545
0
OK
-
2025-06-17 13:07:27
0 / 1s
2025-06-17/121028-github-check-run-set-status-283e41
1
OK
-
2025-06-17 12:10:29
0 / 1s
2025-06-17/121009-git-fetch-81b706
0
OK
-
2025-06-17 12:10:28
0 / 19s
2025-06-17/121009-github-check-run-set-status-4afbf5
0
OK
-
2025-06-17 12:10:10
0 / 1s
2025-06-16/161209-github-check-run-set-status-8b0566
1
OK
-
2025-06-16 16:12:10
0 / 1s
2025-06-16/161205-git-fetch-b9f5f6
0
OK
-
2025-06-16 16:12:09
0 / 4s
2025-06-16/161205-github-check-run-set-status-50087a
0
OK
-
2025-06-16 16:12:06
0 / 1s
2025-06-16/151542-github-check-run-set-status-1f7ed5
1
OK
-
2025-06-16 15:15:43
0 / 1s
2025-06-16/151536-git-fetch-ac26ae
0
OK
-
2025-06-16 15:15:42
0 / 6s
2025-06-16/151536-github-check-run-set-status-ac6593
0
OK
-
2025-06-16 15:15:37
0 / 1s
2025-06-16/141330-github-check-run-set-status-08cdd4
1
OK
-
2025-06-16 14:13:31
0 / 1s
2025-06-16/141325-git-fetch-97330b
0
OK
-
2025-06-16 14:13:30
0 / 5s
2025-06-16/141325-github-check-run-set-status-ed979b
0
OK
-
2025-06-16 14:13:26
0 / 1s
2025-06-16/122505-github-check-run-set-status-21f24f
1
OK
-
2025-06-16 12:25:06
0 / 1s
2025-06-16/122459-git-fetch-c55429
0
OK
-
2025-06-16 12:25:05
0 / 6s
2025-06-16/122459-github-check-run-set-status-608c37
0
OK
-
2025-06-16 12:25:00
0 / 1s
2025-06-16/112907-github-check-run-set-status-bd1026
1
OK
-
2025-06-16 11:29:08
0 / 1s
2025-06-16/112901-git-fetch-3d104e
0
OK
-
2025-06-16 11:29:07
0 / 6s
2025-06-16/112901-github-check-run-set-status-f7dbff
0
OK
-
2025-06-16 11:29:01
0 / 0
2025-06-16/112344-github-check-run-set-status-6b7f1c
1
OK
-
2025-06-16 11:23:45
0 / 1s
2025-06-16/112341-git-fetch-5cb774
0
OK
-
2025-06-16 11:23:44
0 / 3s