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: 14.43
- Attempted: 2024-06-22 12:58:07 +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 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: 17.44
- Attempted: 2024-07-21 01:10:20 +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.1.1 on linux fedora-40
- Status: FAILING
- Duration: 14.4
- Attempted: 2024-07-01 01:29:22 +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.89
- Attempted: 2024-06-17 12:25:07 +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: 43.37
- Attempted: 2024-05-27 00:38:59 +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.31
- Attempted: 2024-06-23 00:44:26 +0000
- Log
v0.1.1 compiled with GNAT 13.1.0 on windows mingw64_nt-10.0-20348
- Status: FAILING
- Duration: 56.75
- Attempted: 2024-04-04 00:50:34 +0000
- Log