Alire Crate Status
gnatprove
- Status:
UNTESTED
- Duration: 0.0
- Attempted: never
-
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:
UNTESTED
- Duration: 0.0
- Attempted: never
-
Log
- Status:
SUCCESS
- Duration: 12.25
- Attempted: 2025-07-17 01:17:34 +0000
-
Log
- Status:
SUCCESS
- Duration: 15.59
- Attempted: 2025-07-23 12:28:38 +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: 11.88
- Attempted: 2025-08-06 00:54:11 +0000
-
Log
- Status:
SUCCESS
- Duration: 62.34
- Attempted: 2025-09-05 00:56:54 +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:
UNTESTED
- Duration: 0.0
- Attempted: never
-
Log
- Status:
UNTESTED
- Duration: 0.0
- Attempted: never
-
Log
- Status:
SUCCESS
- Duration: 15.86
- Attempted: 2025-09-02 12:36:12 +0000
-
Log
- Status:
SUCCESS
- Duration: 30.48
- Attempted: 2025-09-05 01:07:34 +0000
-
Log
- Status:
SUCCESS
- Duration: 17.09
- Attempted: 2025-08-03 12:39:05 +0000
-
Log
- Status:
SUCCESS
- Duration: 17.77
- Attempted: 2025-07-17 01:05:02 +0000
-
Log
- Status:
SUCCESS
- Duration: 29.89
- Attempted: 2025-07-18 12:50:16 +0000
-
Log
- Status:
SUCCESS
- Duration: 19.16
- Attempted: 2025-09-05 12:47:23 +0000
-
Log
- Status:
SUCCESS
- Duration: 17.94
- Attempted: 2025-07-24 12:49:52 +0000
-
Log