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: 5.65
- Attempted: 2024-12-03 13:24:24 +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: 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 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: 43.69
- Attempted: 2024-12-19 00:41:49 +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: 62.59
- Attempted: 2024-12-02 00:39:44 +0000
- Log