Alire Crate Status
gnatprove
- Status:
SUCCESS
- Duration: 19.13
- Attempted: 2025-05-27 13:08:44 +0000
-
Log
- Status:
SUCCESS
- Duration: 11.0
- Attempted: 2025-06-15 12:39:30 +0000
-
Log
- Status:
UNTESTED
- Duration: 0.0
- Attempted: never
-
Log
- Status:
SUCCESS
- Duration: 27.37
- Attempted: 2025-04-22 01:14:10 +0000
-
Log
- Status:
SUCCESS
- Duration: 21.06
- Attempted: 2025-06-21 01:27:19 +0000
-
Log
- Status:
SUCCESS
- Duration: 20.42
- Attempted: 2025-02-24 13:02:11 +0000
-
Log
- Status:
SUCCESS
- Duration: 11.8
- Attempted: 2025-02-11 00:52:31 +0000
-
Log
- Status:
SUCCESS
- Duration: 11.9
- Attempted: 2025-06-20 13:20:13 +0000
-
Log
- Status:
SUCCESS
- Duration: 11.88
- Attempted: 2025-04-10 00:52:22 +0000
-
Log
- Status:
SUCCESS
- Duration: 13.62
- Attempted: 2025-02-13 01:25:35 +0000
-
Log
- Status:
SUCCESS
- Duration: 12.26
- Attempted: 2025-02-17 00:37:54 +0000
-
Log
- Status:
SUCCESS
- Duration: 16.01
- Attempted: 2025-07-13 12:43:56 +0000
-
Log
- Status:
SUCCESS
- Duration: 19.71
- Attempted: 2025-06-12 12:36:35 +0000
-
Log
- Status:
SUCCESS
- Duration: 12.01
- Attempted: 2025-05-16 01:01:28 +0000
-
Log
- Status:
SUCCESS
- Duration: 9.55
- Attempted: 2025-06-19 00:42:53 +0000
-
Log
- Status:
SUCCESS
- Duration: 20.97
- Attempted: 2025-07-02 12:51:52 +0000
-
Log
- Status:
SUCCESS
- Duration: 37.27
- Attempted: 2025-07-02 12:37:59 +0000
-
Log
- Status:
SUCCESS
- Duration: 22.38
- Attempted: 2025-07-08 01:06:00 +0000
-
Log
- Status:
SUCCESS
- Duration: 22.69
- Attempted: 2025-07-07 12:53:41 +0000
-
Log
- Status:
SUCCESS
- Duration: 24.28
- Attempted: 2025-07-12 12:39:42 +0000
-
Log