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: 5.13
- Attempted: 2024-07-26 01:10:31 +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 12.2.0 on linux debian-12
- Status: SUCCESS
- Duration: 6.4
- Attempted: 2024-07-24 01:10:22 +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.1.1 on linux fedora-40
- Status: SUCCESS
- Duration: 5.0
- Attempted: 2024-07-23 13:08:01 +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