mine_detector


v20220720.0.0 compiled with GNAT 14.2.1 on linux arch-20241006.0.268140
  • Status:
    SUCCESS
  • Duration: 34.19
  • Attempted: 2025-06-09 01:15:00 +0000
  • Log
v20220720.0.0 compiled with GNAT 14.2.1 on linux arch-20250302.0.316047
  • Status:
    SUCCESS
  • Duration: 75.71
  • Attempted: 2025-07-04 01:23:20 +0000
  • Log
v20220720.0.0 compiled with GNAT 15.1.1 on linux arch-20250601.0.358000
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v20220720.0.0 compiled with GNAT 14.2.1 on linux arch-20250601.0.358000
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 1.88
  • Attempted: 2025-06-14 13:08:00 +0000
  • Log
v20220720.0.0 compiled with GNAT 14.2.1 on linux centos-9
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 6.7
  • Attempted: 2025-06-05 13:08:02 +0000
  • Log
v20220720.0.0 compiled with GNAT 14.2.1 on linux debian-12
  • Status:
    SUCCESS
  • Duration: 44.96
  • Attempted: 2025-07-04 13:10:29 +0000
  • Log
v20220720.0.0 compiled with GNAT 14.2.1 on linux fedora-40
  • Status:
    SUCCESS
  • Duration: 2.55
  • Attempted: 2025-07-03 13:20:56 +0000
  • Log
v20220720.0.0 compiled with GNAT 14.2.1 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 42.03
  • Attempted: 2025-06-15 13:12:17 +0000
  • Log
v20220720.0.0 compiled with GNAT 13.3.0 on linux ubuntu-24.04
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v20220720.0.0 compiled with GNAT 12.2.1 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 37.08
  • Attempted: 2025-02-26 00:54:34 +0000
  • Log
v20220720.0.0 compiled with GNAT 14.2.1 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 44.85
  • Attempted: 2025-05-18 00:42:18 +0000
  • Log
v20220720.0.0 compiled with GNAT 14.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 8.28
  • Attempted: 2025-07-01 12:49:03 +0000
  • Log
v20220720.0.0 compiled with GNAT 12.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 8.19
  • Attempted: 2025-07-03 12:34:23 +0000
  • Log