Alire Crate Status
gnatprove
- Status:
SUCCESS
- Duration: 11.28
- Attempted: 2025-10-08 13:06:48 +0000
-
Log
- Status:
SUCCESS
- Duration: 22.4
- Attempted: 2025-09-02 13:16:14 +0000
-
Log
- Status:
SUCCESS
- Duration: 11.75
- Attempted: 2025-08-03 13:09:58 +0000
-
Log
- Status:
SUCCESS
- Duration: 12.25
- Attempted: 2025-07-17 01:17:34 +0000
-
Log
- Status:
SUCCESS
- Duration: 12.05
- Attempted: 2025-10-06 12:34:51 +0000
-
Log
- Status:
SUCCESS
- Duration: 11.63
- Attempted: 2025-07-17 12:36:14 +0000
-
Log
- Status:
SUCCESS
- Duration: 14.21
- Attempted: 2025-08-25 13:16:36 +0000
-
Log
- Status:
SUCCESS
- Duration: 12.62
- Attempted: 2025-07-30 12:24:55 +0000
-
Log
- Status:
SUCCESS
- Duration: 17.01
- Attempted: 2025-07-25 12:26:06 +0000
-
Log
- Status:
SUCCESS
- Duration: 13.71
- Attempted: 2025-10-07 12:36:04 +0000
-
Log
- Status:
SUCCESS
- Duration: 15.33
- Attempted: 2025-10-06 12:27:26 +0000
-
Log
- Status:
SUCCESS
- Duration: 7.35
- Attempted: 2025-08-14 00:57:26 +0000
-
Log
- Status:
SUCCESS
- Duration: 6.47
- Attempted: 2025-07-19 00:49:09 +0000
-
Log
- Status:
SUCCESS
- Duration: 7.88
- Attempted: 2025-08-11 12:22:54 +0000
-
Log
- Status:
SUCCESS
- Duration: 7.74
- Attempted: 2025-09-11 12:42:49 +0000
-
Log
- Status:
SUCCESS
- Duration: 15.86
- Attempted: 2025-09-02 12:36:12 +0000
-
Log
- Status:
SUCCESS
- Duration: 15.66
- Attempted: 2025-10-03 12:43:04 +0000
-
Log
- Status:
UNTESTED
- Duration: 0.0
- Attempted: never
-
Log
- Status:
UNTESTED
- Duration: 0.0
- Attempted: never
-
Log
- Status:
SUCCESS
- Duration: 28.24
- Attempted: 2025-09-10 01:05:39 +0000
-
Log
- Status:
SUCCESS
- Duration: 23.88
- Attempted: 2025-09-14 01:04:11 +0000
-
Log
- Status:
SUCCESS
- Duration: 17.77
- Attempted: 2025-07-17 01:05:02 +0000
-
Log
- Status:
SUCCESS
- Duration: 19.77
- Attempted: 2025-09-26 00:38:08 +0000
-
Log
- Status:
SUCCESS
- Duration: 19.16
- Attempted: 2025-09-05 12:47:23 +0000
-
Log
- Status:
SUCCESS
- Duration: 24.14
- Attempted: 2025-09-13 01:01:55 +0000
-
Log
- Status:
UNTESTED
- Duration: 0.0
- Attempted: never
-
Log
- Status:
SUCCESS
- Duration: 35.23
- Attempted: 2025-09-20 01:05:32 +0000
-
Log
- Status:
SUCCESS
- Duration: 39.33
- Attempted: 2025-09-18 00:57:16 +0000
-
Log
- Status:
UNTESTED
- Duration: 0.0
- Attempted: never
-
Log
- Status:
SUCCESS
- Duration: 35.69
- Attempted: 2025-09-24 12:31:43 +0000
-
Log