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: 18.33
- Attempted: 2025-01-03 01:13:26 +0000
- Log
v0.1.1 compiled with GNAT 14.2.1 on linux arch-20250302.0.316047
- Status: FAILING
- Duration: 11.0
- Attempted: 2025-03-13 13:13:07 +0000
- Log
v0.1.1 compiled with GNAT 14.2.1 on linux centos-9
- Status: FAILING
- Duration: 11.2
- Attempted: 2025-05-08 13:20:46 +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 14.2.1 on linux debian-12
- Status: FAILING
- Duration: 12.4
- Attempted: 2025-05-04 01:15:54 +0000
- Log
v0.1.1 compiled with GNAT 12.2.0 on linux debian-12
- Status: UNTESTED
- Duration: 0.0
- Attempted: never
- 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: 14.25
- Attempted: 2025-04-05 12:33:21 +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 14.2.1 on linux ubuntu-24.04
- Status: FAILING
- Duration: 10.19
- Attempted: 2025-05-04 01:12:56 +0000
- Log
v0.1.1 compiled with GNAT 13.3.0 on linux ubuntu-24.04
- Status: UNTESTED
- Duration: 0.0
- Attempted: never
- Log
v0.1.1 compiled with GNAT 13.2.2 on linux ubuntu-24.04
- Status: FAILING
- Duration: 9.69
- Attempted: 2025-03-09 00:44:05 +0000
- Log
v0.1.1 compiled with GNAT 13.2.0 on linux ubuntu-24.04
- Status: FAILING
- Duration: 16.11
- Attempted: 2024-12-15 13:01:55 +0000
- Log
v0.1.1 compiled with GNAT 13.1.0 on linux ubuntu-24.04
- Status: FAILING
- Duration: 13.53
- Attempted: 2024-12-17 00:46:13 +0000
- Log
v0.1.1 compiled with GNAT 12.2.1 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 12.15
- Attempted: 2025-02-19 00:42:04 +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: 46.29
- Attempted: 2025-01-26 00:40:17 +0000
- Log
v0.1.1 compiled with GNAT 14.2.1 on macos darwin-23.6.0
- Status: MISSING-DEPENDENCIES
- Duration: 0.2
- Attempted: 2025-02-24 00:59:06 +0000
- Log
v0.1.1 compiled with GNAT 13.2.2 on macos darwin-23.6.0
- Status: MISSING-DEPENDENCIES
- Duration: 0.2
- Attempted: 2025-04-25 12:42:19 +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 14.2.1 on windows mingw64_nt-10.0-20348
- Status: FAILING
- Duration: 44.37
- Attempted: 2025-03-16 12:28:22 +0000
- Log
v0.1.1 compiled with GNAT 13.2.2 on windows mingw64_nt-10.0-20348
- Status: FAILING
- Duration: 25.22
- Attempted: 2025-05-08 00:55:05 +0000
- Log
v0.1.1 compiled with GNAT 13.1.0 on windows mingw64_nt-10.0-20348
- Status: FAILING
- Duration: 62.59
- Attempted: 2024-12-02 00:39:44 +0000
- Log
v0.1.1 compiled with GNAT 12.2.1 on windows mingw64_nt-10.0-20348
- Status: SUCCESS
- Duration: 53.94
- Attempted: 2025-03-04 00:39:45 +0000
- Log