gnatcoll_gmp


v25.0.0 compiled with GNAT 14.2.1 on linux arch-20241006.0.268140
  • Status:
    SUCCESS
  • Duration: 43.19
  • Attempted: 2025-06-03 01:24:36 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux arch-20250302.0.316047
  • Status:
    SUCCESS
  • Duration: 2.18
  • Attempted: 2025-07-02 13:22:37 +0000
  • Log
v25.0.0 compiled with GNAT 15.1.2 on linux arch-20250601.0.358000
  • Status:
    SUCCESS
  • Duration: 41.21
  • Attempted: 2025-08-29 13:17:03 +0000
  • Log
v25.0.0 compiled with GNAT 15.2.1 on linux arch-20250824.0.410029
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v25.0.0 compiled with GNAT 15.2.1 on linux centos-9
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 0.46
  • Attempted: 2025-09-10 13:18:01 +0000
  • Log
v25.0.0 compiled with GNAT 15.1.2 on linux centos-9
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 0.43
  • Attempted: 2025-08-31 01:15:26 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux centos-9
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 0.34
  • Attempted: 2025-06-06 01:20:41 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux debian-12
  • Status:
    SUCCESS
  • Duration: 44.47
  • Attempted: 2025-04-11 13:06:15 +0000
  • Log
v25.0.0 compiled with GNAT 15.1.2 on linux debian-13
  • Status:
    SUCCESS
  • Duration: 44.92
  • Attempted: 2025-09-05 13:08:00 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.0 on linux debian-13
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux fedora-40
  • Status:
    SUCCESS
  • Duration: 41.77
  • Attempted: 2025-07-15 01:28:59 +0000
  • Log
v25.0.0 compiled with GNAT 15.2.1 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 5.3
  • Attempted: 2025-09-11 13:09:41 +0000
  • Log
v25.0.0 compiled with GNAT 15.1.2 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 40.87
  • Attempted: 2025-09-08 01:19:31 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 41.26
  • Attempted: 2025-07-13 01:23:26 +0000
  • Log
v25.0.0 compiled with GNAT 13.2.2 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 37.15
  • Attempted: 2025-05-21 00:41:44 +0000
  • Log
v25.0.0 compiled with GNAT 15.1.2 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 42.95
  • Attempted: 2025-08-13 12:43:36 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 33.21
  • Attempted: 2025-08-15 12:34:27 +0000
  • Log
v25.0.0 compiled with GNAT 13.2.2 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 30.56
  • Attempted: 2025-05-20 00:57:06 +0000
  • Log
v25.0.0 compiled with GNAT 13.2.2 on macos darwin-24.5.0
  • Status:
    FAILING
  • Duration: 13.99
  • Attempted: 2025-09-11 12:35:21 +0000
  • Log
v25.0.0 compiled with GNAT 15.1.2 on macos darwin-24.6.0
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v25.0.0 compiled with GNAT 14.2.1 on macos darwin-24.6.0
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v25.0.0 compiled with GNAT 15.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v25.0.0 compiled with GNAT 15.1.2 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 67.09
  • Attempted: 2025-08-14 00:57:52 +0000
  • Log
v25.0.0 compiled with GNAT 14.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 53.16
  • Attempted: 2025-07-30 01:08:20 +0000
  • Log
v25.0.0 compiled with GNAT 13.2.2 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 67.2
  • Attempted: 2025-06-29 12:36:29 +0000
  • Log
v25.0.0 compiled with GNAT 15.2.1 on windows mingw64_nt-10.0-26100
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v25.0.0 compiled with GNAT 15.1.2 on windows mingw64_nt-10.0-26100
  • Status:
    SUCCESS
  • Duration: 63.42
  • Attempted: 2025-09-15 12:51:45 +0000
  • Log
v25.0.0 compiled with GNAT 13.2.2 on windows mingw64_nt-10.0-26100
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log