Alire Crate Status

program_proofs_in_spark


v0.1.1 compiled with GNAT 12.2.1 on linux arch
  • Status:
    SUCCESS
  • Duration: 24.98
  • Attempted: 2023-05-24 13:05:17 +0000
  • Log
v0.1.1 compiled with GNAT 13.2.1 on linux arch-20230723.0.166908
  • Status:
    FAILING
  • Duration: 14.5
  • Attempted: 2023-11-30 01:17:11 +0000
  • Log
v0.1.1 compiled with GNAT 13.2.1 on linux arch-20231112.0.191179
  • Status:
    FAILING
  • Duration: 14.37
  • Attempted: 2024-05-20 01:09:55 +0000
  • Log
v0.1.1 compiled with GNAT 14.1.1 on linux arch-20240101.0.204074
  • Status:
    FAILING
  • Duration: 16.3
  • Attempted: 2024-09-10 01:38:11 +0000
  • Log
v0.1.1 compiled with GNAT 13.2.1 on linux arch-20240101.0.204074
  • Status:
    FAILING
  • Duration: 13.73
  • Attempted: 2024-05-06 12:54:56 +0000
  • Log
v0.1.1 compiled with GNAT 14.2.1 on linux arch-20241006.0.268140
  • Status:
    FAILING
  • Duration: 14.78
  • Attempted: 2024-11-13 13:11:52 +0000
  • Log
v0.1.1 compiled with GNAT 13.2.0 on linux centos-9
  • Status:
    FAILING
  • Duration: 6.25
  • Attempted: 2024-06-21 01:13:34 +0000
  • Log
v0.1.1 compiled with GNAT 10.2.1 on linux debian-11
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 3.64
  • Attempted: 2023-05-28 01:14:16 +0000
  • Log
v0.1.1 compiled with GNAT 12.2.0 on linux debian-12
  • Status:
    SUCCESS
  • Duration: 19.41
  • Attempted: 2024-11-12 01:39:51 +0000
  • Log
v0.1.1 compiled with GNAT 12.2.1 on linux fedora-36
  • Status:
    SUCCESS
  • Duration: 18.97
  • Attempted: 2023-06-06 13:11:29 +0000
  • Log
v0.1.1 compiled with GNAT 13.1.1 on linux fedora-38
  • Status:
    FAILING
  • Duration: 14.79
  • Attempted: 2024-02-27 01:22:26 +0000
  • Log
v0.1.1 compiled with GNAT 13.2.1 on linux fedora-39
  • Status:
    FAILING
  • Duration: 14.47
  • Attempted: 2024-03-17 01:21:46 +0000
  • Log
v0.1.1 compiled with GNAT 14.2.1 on linux fedora-40
  • Status:
    FAILING
  • Duration: 16.27
  • Attempted: 2024-11-10 12:59:31 +0000
  • Log
v0.1.1 compiled with GNAT 14.1.1 on linux fedora-40
  • Status:
    FAILING
  • Duration: 15.5
  • Attempted: 2024-09-22 01:25:56 +0000
  • Log
v0.1.1 compiled with GNAT 13.2.1 on linux ubuntu-22.04
  • Status:
    FAILING
  • Duration: 19.39
  • Attempted: 2024-05-23 01:20:20 +0000
  • Log
v0.1.1 compiled with GNAT 13.1.0 on linux ubuntu-22.04
  • Status:
    FAILING
  • Duration: 13.97
  • Attempted: 2024-10-18 00:56:33 +0000
  • Log
v0.1.1 compiled with GNAT 10.5.0 on linux ubuntu-22.04
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 4.12
  • Attempted: 2024-05-18 13:12:47 +0000
  • Log
v0.1.1 compiled with GNAT 10.3.0 on linux ubuntu-22.04
  • Status:
    MISSING-DEPENDENCIES
  • Duration: 3.82
  • Attempted: 2023-05-16 13:17:38 +0000
  • Log
v0.1.1 compiled with GNAT 13.2.0 on linux ubuntu-24.04
  • Status:
    FAILING
  • Duration: 15.35
  • Attempted: 2024-07-09 13:01:27 +0000
  • Log
v0.1.1 compiled with GNAT 13.1.0 on macos darwin-21.6.0
  • Status:
    FAILING
  • Duration: 54.13
  • Attempted: 2024-08-15 00:32:12 +0000
  • Log
v0.1.1 compiled with GNAT 13.1.0 on macos darwin-23.4.0
  • Status:
    FAILING
  • Duration: 41.62
  • Attempted: 2024-05-24 01:56:57 +0000
  • Log
v0.1.1 compiled with GNAT 13.1.0 on macos darwin-23.5.0
  • Status:
    FAILING
  • Duration: 47.12
  • Attempted: 2024-08-01 12:42:39 +0000
  • Log
v0.1.1 compiled with GNAT 13.1.0 on macos darwin-23.6.0
  • Status:
    FAILING
  • Duration: 46.86
  • Attempted: 2024-09-11 00:45:46 +0000
  • Log
v0.1.1 compiled with GNAT 13.1.0 on windows mingw64_nt-10.0-20348
  • Status:
    FAILING
  • Duration: 59.7
  • Attempted: 2024-08-27 01:06:18 +0000
  • Log