Alire Crate Status

gnatprove


v15.1.0 compiled with GNAT 15.2.1 on linux arch-20250824.0.410029
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v15.1.0 compiled with GNAT 14.2.0 on linux centos-9
  • Status:
    SUCCESS
  • Duration: 22.4
  • Attempted: 2025-09-02 13:16:14 +0000
  • Log
v15.1.0 compiled with GNAT 12.2.0 on linux debian-12
  • Status:
    SUCCESS
  • Duration: 11.75
  • Attempted: 2025-08-03 13:09:58 +0000
  • Log
v15.1.0 compiled with GNAT 14.2.0 on linux debian-13
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v15.1.0 compiled with GNAT 14.2.1 on linux fedora-40
  • Status:
    SUCCESS
  • Duration: 12.25
  • Attempted: 2025-07-17 01:17:34 +0000
  • Log
v15.1.0 compiled with GNAT 15.1.2 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 15.59
  • Attempted: 2025-07-23 12:28:38 +0000
  • Log
v15.1.0 compiled with GNAT 14.2.1 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 11.63
  • Attempted: 2025-07-17 12:36:14 +0000
  • Log
v15.1.0 compiled with GNAT 13.3.0 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 14.21
  • Attempted: 2025-08-25 13:16:36 +0000
  • Log
v15.1.0 compiled with GNAT 13.2.2 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 12.62
  • Attempted: 2025-07-30 12:24:55 +0000
  • Log
v15.1.0 compiled with GNAT 12.2.1 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 17.01
  • Attempted: 2025-07-25 12:26:06 +0000
  • Log
v15.1.0 compiled with GNAT 11.2.4 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 11.88
  • Attempted: 2025-08-06 00:54:11 +0000
  • Log
v15.1.0 compiled with GNAT 10.3.2 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 62.34
  • Attempted: 2025-09-05 00:56:54 +0000
  • Log
v15.1.0 compiled with GNAT 15.1.2 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 7.35
  • Attempted: 2025-08-14 00:57:26 +0000
  • Log
v15.1.0 compiled with GNAT 14.2.1 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 6.47
  • Attempted: 2025-07-19 00:49:09 +0000
  • Log
v15.1.0 compiled with GNAT 13.2.2 on macos darwin-23.6.0
  • Status:
    SUCCESS
  • Duration: 7.88
  • Attempted: 2025-08-11 12:22:54 +0000
  • Log
v15.1.0 compiled with GNAT 15.1.2 on macos darwin-24.5.0
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v15.1.0 compiled with GNAT 14.2.1 on macos darwin-24.5.0
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v15.1.0 compiled with GNAT 13.2.2 on macos darwin-24.5.0
  • Status:
    SUCCESS
  • Duration: 15.86
  • Attempted: 2025-09-02 12:36:12 +0000
  • Log
v15.1.0 compiled with GNAT 15.1.2 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 30.48
  • Attempted: 2025-09-05 01:07:34 +0000
  • Log
v15.1.0 compiled with GNAT 14.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 17.09
  • Attempted: 2025-08-03 12:39:05 +0000
  • Log
v15.1.0 compiled with GNAT 13.2.2 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 17.77
  • Attempted: 2025-07-17 01:05:02 +0000
  • Log
v15.1.0 compiled with GNAT 12.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 29.89
  • Attempted: 2025-07-18 12:50:16 +0000
  • Log
v15.1.0 compiled with GNAT 11.2.4 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 19.16
  • Attempted: 2025-09-05 12:47:23 +0000
  • Log
v15.1.0 compiled with GNAT 10.3.2 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 17.94
  • Attempted: 2025-07-24 12:49:52 +0000
  • Log