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: 6.18
- Attempted: 2024-12-17 13:02:57 +0000
- Log
v24.0.0 compiled with GNAT 12.2.0 on linux debian-12
- Status: SUCCESS
- Duration: 6.32
- Attempted: 2024-12-10 13:30:14 +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.3
- Attempted: 2024-12-19 01:32:00 +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