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 13.2.1 on linux arch-20240101.0.204074
- Status: SUCCESS
- Duration: 5.84
- Attempted: 2024-05-05 01:23:45 +0000
- Log
v24.0.0 compiled with GNAT 12.2.0 on linux debian-12
- Status: SUCCESS
- Duration: 6.31
- Attempted: 2024-05-04 12:54:35 +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: 4.98
- Attempted: 2024-04-06 01:32:46 +0000
- Log
v24.0.0 compiled with GNAT 13.2.1 on linux ubuntu-22.04
- Status: SUCCESS
- Duration: 2.06
- Attempted: 2024-03-23 01:10:38 +0000
- Log
v24.0.0 compiled with GNAT 10.5.0 on linux ubuntu-22.04
- Status: SUCCESS
- Duration: 7.25
- Attempted: 2024-04-21 13:02:44 +0000
- Log