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.76
- Attempted: 2024-04-07 01:25:32 +0000
- Log
v0.1.1 compiled with GNAT 13.2.1 on linux arch-20240101.0.204074
- Status: FAILING
- Duration: 14.4
- Attempted: 2024-02-20 12:56:25 +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: 8.04
- Attempted: 2024-04-10 01:23: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 13.2.1 on linux ubuntu-22.04
- Status: FAILING
- Duration: 11.48
- Attempted: 2024-03-23 13:05:57 +0000
- Log
v0.1.1 compiled with GNAT 13.1.0 on linux ubuntu-22.04
- Status: FAILING
- Duration: 13.12
- Attempted: 2024-04-15 12:37:24 +0000
- Log
v0.1.1 compiled with GNAT 10.5.0 on linux ubuntu-22.04
- Status: MISSING-DEPENDENCIES
- Duration: 4.03
- Attempted: 2024-04-05 13:07:57 +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.1.0 on macos darwin-21.6.0
- Status: FAILING
- Duration: 24.82
- Attempted: 2024-04-04 00:31:31 +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