adasat
v24.0.0 compiled with GNAT 13.2.1 on linux arch-20231112.0.191179
- Status: SUCCESS
- Duration: 5.12
- Attempted: 2024-05-08 01:10:40 +0000
- Log
v24.0.0 compiled with GNAT 14.1.1 on linux arch-20240101.0.204074
- Status: SUCCESS
- Duration: 6.0
- Attempted: 2024-10-07 13:15:43 +0000
- Log
v24.0.0 compiled with GNAT 13.2.1 on linux arch-20240101.0.204074
- Status: SUCCESS
- Duration: 6.09
- Attempted: 2024-06-03 13:04:47 +0000
- Log
v24.0.0 compiled with GNAT 14.2.1 on linux arch-20241006.0.268140
- Status: SUCCESS
- Duration: 5.29
- Attempted: 2025-01-05 13:14:18 +0000
- Log
v24.0.0 compiled with GNAT 12.2.0 on linux debian-12
- Status: SUCCESS
- Duration: 6.32
- Attempted: 2025-01-13 13:14:30 +0000
- Log
v24.0.0 compiled with GNAT 13.1.1 on linux fedora-38
- Status: SUCCESS
- Duration: 5.13
- Attempted: 2024-01-13 12:53:16 +0000
- Log
v24.0.0 compiled with GNAT 13.2.1 on linux fedora-39
- Status: SUCCESS
- Duration: 5.09
- Attempted: 2024-05-21 13:18:38 +0000
- Log
v24.0.0 compiled with GNAT 14.2.1 on linux fedora-40
- Status: SUCCESS
- Duration: 5.15
- Attempted: 2025-01-12 13:00:07 +0000
- Log
v24.0.0 compiled with GNAT 14.1.1 on linux fedora-40
- Status: SUCCESS
- Duration: 4.96
- Attempted: 2024-10-05 13:07:53 +0000
- Log
v24.0.0 compiled with GNAT 13.2.1 on linux ubuntu-22.04
- Status: SUCCESS
- Duration: 5.07
- Attempted: 2024-06-06 01:28:01 +0000
- Log
v24.0.0 compiled with GNAT 10.5.0 on linux ubuntu-22.04
- Status: SUCCESS
- Duration: 6.87
- Attempted: 2024-05-31 01:23:39 +0000
- Log
v24.0.0 compiled with GNAT 13.2.0 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 6.75
- Attempted: 2024-06-19 13:21:24 +0000
- Log