adasat


v25.0.0 compiled with GNAT 14.2.1 on linux arch-20241006.0.268140
  • Status:
    SUCCESS
  • Duration: 1.06
  • Attempted: 2025-05-09 12:34:42 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux arch-20250302.0.316047
  • Status:
    SUCCESS
  • Duration: 1.49
  • Attempted: 2025-03-08 13:08:42 +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.35
  • Attempted: 2025-04-26 01:13:59 +0000
  • Log
v25.0.0 compiled with GNAT 13.3.0 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 1.28
  • Attempted: 2025-03-18 01:33:12 +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: 1.31
  • Attempted: 2025-04-28 12:37:11 +0000
  • Log
v25.0.0 compiled with GNAT 10.3.2 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 1.21
  • Attempted: 2025-04-28 00:49:52 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 1.99
  • Attempted: 2025-03-25 00:55:13 +0000
  • Log
v25.0.0 compiled with GNAT 13.2.2 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 2.42
  • Attempted: 2025-04-08 00:44:09 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 2.14
  • Attempted: 2025-03-31 12:45:33 +0000
  • Log
v25.0.0 compiled with GNAT 13.2.2 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 2.92
  • Attempted: 2025-05-01 12:31:14 +0000
  • Log
v25.0.0 compiled with GNAT 12.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 2.09
  • Attempted: 2025-04-08 12:47:06 +0000
  • Log
v25.0.0 compiled with GNAT 11.2.4 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 2.17
  • Attempted: 2025-03-17 00:41:40 +0000
  • Log
v25.0.0 compiled with GNAT 10.3.2 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 2.7
  • Attempted: 2025-05-03 00:59:22 +0000
  • Log