adasat
v25.0.0 compiled with GNAT 14.2.1 on linux arch-20241006.0.268140
- Status: SUCCESS
- Duration: 1.13
- Attempted: 2025-06-26 13:06:16 +0000
- Log
v25.0.0 compiled with GNAT 14.2.1 on linux arch-20250302.0.316047
- Status: SUCCESS
- Duration: 1.19
- Attempted: 2025-07-01 13:06:55 +0000
- Log
v25.0.0 compiled with GNAT 15.1.1 on linux arch-20250601.0.358000
- Status: SUCCESS
- Duration: 13.86
- Attempted: 2025-06-23 13:07:03 +0000
- Log
v25.0.0 compiled with GNAT 14.2.0 on linux centos-9
- Status: SUCCESS
- Duration: 1.44
- Attempted: 2025-02-09 01:16:47 +0000
- Log
v25.0.0 compiled with GNAT 12.2.0 on linux debian-12
- Status: SUCCESS
- Duration: 1.32
- Attempted: 2025-04-20 13:12:38 +0000
- Log
v25.0.0 compiled with GNAT 14.2.1 on linux fedora-40
- Status: SUCCESS
- Duration: 1.25
- Attempted: 2025-04-18 13:04:40 +0000
- Log
v25.0.0 compiled with GNAT 14.2.1 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 1.16
- Attempted: 2025-06-14 01:13:39 +0000
- Log
v25.0.0 compiled with GNAT 13.3.0 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 1.42
- Attempted: 2025-06-20 01:17:02 +0000
- Log
v25.0.0 compiled with GNAT 13.2.2 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 0.89
- Attempted: 2025-02-20 00:37:09 +0000
- Log
v25.0.0 compiled with GNAT 13.2.0 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 1.37
- Attempted: 2025-02-10 13:23:50 +0000
- Log
v25.0.0 compiled with GNAT 12.2.1 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 0.9
- Attempted: 2025-02-20 12:32:57 +0000
- Log
v25.0.0 compiled with GNAT 11.2.4 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 0.95
- Attempted: 2025-07-15 12:41:49 +0000
- Log
v25.0.0 compiled with GNAT 10.3.2 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 1.0
- Attempted: 2025-07-15 00:49:01 +0000
- Log
v25.0.0 compiled with GNAT 14.2.1 on macos darwin-23.6.0
- Status: SUCCESS
- Duration: 4.41
- Attempted: 2025-06-11 12:35:17 +0000
- Log
v25.0.0 compiled with GNAT 13.2.2 on macos darwin-23.6.0
- Status: SUCCESS
- Duration: 3.05
- Attempted: 2025-07-02 00:57:33 +0000
- Log
v25.0.0 compiled with GNAT 15.1.2 on windows mingw64_nt-10.0-20348
- Status: UNTESTED
- Duration: 0.0
- Attempted: never
- Log
v25.0.0 compiled with GNAT 14.2.1 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 2.73
- Attempted: 2025-06-11 00:40:43 +0000
- Log
v25.0.0 compiled with GNAT 13.2.2 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 2.44
- Attempted: 2025-06-13 01:06:33 +0000
- Log
v25.0.0 compiled with GNAT 12.2.1 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 2.06
- Attempted: 2025-06-30 12:52:36 +0000
- Log
v25.0.0 compiled with GNAT 11.2.4 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 2.41
- Attempted: 2025-07-15 00:53:42 +0000
- Log
v25.0.0 compiled with GNAT 10.3.2 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 2.31
- Attempted: 2025-07-01 01:10:20 +0000
- Log