libadalang_tools


v25.0.0 compiled with GNAT 14.2.1 on linux arch-20241006.0.268140
  • Status:
    SUCCESS
  • Duration: 1455.21
  • Attempted: 2025-07-12 01:55:04 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux arch-20250302.0.316047
  • Status:
    SUCCESS
  • Duration: 1549.38
  • Attempted: 2025-06-14 13:45:34 +0000
  • Log
v25.0.0 compiled with GNAT 15.1.1 on linux arch-20250601.0.358000
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux arch-20250601.0.358000
  • Status:
    SUCCESS
  • Duration: 1568.88
  • Attempted: 2025-07-13 13:44:26 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux centos-9
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 10.88
  • Attempted: 2025-05-25 13:07:14 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.0 on linux centos-9
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 12.13
  • Attempted: 2025-05-29 01:14:06 +0000
  • Log
v25.0.0 compiled with GNAT 15.1.2 on linux debian-12
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux debian-12
  • Status:
    SUCCESS
  • Duration: 1550.08
  • Attempted: 2025-06-15 01:12:44 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux fedora-40
  • Status:
    SUCCESS
  • Duration: 1558.38
  • Attempted: 2025-07-14 13:34:57 +0000
  • Log
v25.0.0 compiled with GNAT 15.1.2 on linux ubuntu-24.04
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 1560.55
  • Attempted: 2025-07-14 12:55:23 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 1338.29
  • Attempted: 2025-07-25 13:00:36 +0000
  • Log
v25.0.0 compiled with GNAT 15.1.2 on windows mingw64_nt-10.0-20348
  • Status:
    FAILING
  • Duration: 82.52
  • Attempted: 2025-07-22 12:43:01 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    FAILING
  • Duration: 87.09
  • Attempted: 2025-05-03 12:34:16 +0000
  • Log