Alire Crate Status
gnatprove
- Status:
SUCCESS
- Duration: 15.52
- Attempted: 2024-02-04 01:10:53 +0000
-
Log
- Status:
SUCCESS
- Duration: 15.47
- Attempted: 2024-02-05 13:10:32 +0000
-
Log
- Status:
SUCCESS
- Duration: 15.47
- Attempted: 2024-04-23 13:22:35 +0000
-
Log
- Status:
SUCCESS
- Duration: 16.04
- Attempted: 2024-04-25 01:33:47 +0000
-
Log
- Status:
SUCCESS
- Duration: 18.45
- Attempted: 2024-01-13 13:09:19 +0000
-
Log
- Status:
SUCCESS
- Duration: 15.02
- Attempted: 2024-04-10 13:04:21 +0000
-
Log
- Status:
SUCCESS
- Duration: 14.95
- Attempted: 2024-04-15 02:49:36 +0000
-
Log
- Status:
SUCCESS
- Duration: 21.76
- Attempted: 2024-04-20 12:53:31 +0000
-
Log