Alire Crate Status

gnatprove


v14.1.1 compiled with GNAT 14.2.1 on linux arch-20241006.0.268140
  • Status:
    SUCCESS
  • Duration: 19.78
  • Attempted: 2025-02-18 13:00:07 +0000
  • Log
v14.1.1 compiled with GNAT 14.2.0 on linux centos-9
  • Status:
    SUCCESS
  • Duration: 12.98
  • Attempted: 2025-02-07 13:14:50 +0000
  • Log
v14.1.1 compiled with GNAT 12.2.0 on linux debian-12
  • Status:
    SUCCESS
  • Duration: 11.58
  • Attempted: 2025-02-18 13:11:23 +0000
  • Log
v14.1.1 compiled with GNAT 14.2.1 on linux fedora-40
  • Status:
    SUCCESS
  • Duration: 481.73
  • Attempted: 2025-02-11 01:21:58 +0000
  • Log
v14.1.1 compiled with GNAT 14.2.1 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 11.8
  • Attempted: 2025-02-11 00:52:31 +0000
  • Log
v14.1.1 compiled with GNAT 13.2.2 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 12.54
  • Attempted: 2025-02-05 12:43:18 +0000
  • Log
v14.1.1 compiled with GNAT 13.2.0 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 13.62
  • Attempted: 2025-02-13 01:25:35 +0000
  • Log
v14.1.1 compiled with GNAT 12.2.1 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 12.26
  • Attempted: 2025-02-17 00:37:54 +0000
  • Log
v14.1.1 compiled with GNAT 11.2.4 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 11.64
  • Attempted: 2025-02-13 12:31:02 +0000
  • Log
v14.1.1 compiled with GNAT 10.3.2 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 11.72
  • Attempted: 2025-02-11 12:32:32 +0000
  • Log
v14.1.1 compiled with GNAT 13.2.2 on macos darwin-23.6.0
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v14.1.1 compiled with GNAT 14.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v14.1.1 compiled with GNAT 13.2.2 on windows mingw64_nt-10.0-20348
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • Log
v14.1.1 compiled with GNAT 12.2.1 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 32.67
  • Attempted: 2025-02-20 12:31:43 +0000
  • Log
v14.1.1 compiled with GNAT 11.2.4 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 101.36
  • Attempted: 2025-02-13 01:01:38 +0000
  • Log
v14.1.1 compiled with GNAT 10.3.2 on windows mingw64_nt-10.0-20348
  • Status:
    SUCCESS
  • Duration: 22.5
  • Attempted: 2025-02-22 00:47:09 +0000
  • Log