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:
    FAILING
  • Duration: 0.82
  • Attempted: 2025-07-23 01:34:01 +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