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 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: 24.03
- Attempted: 2023-10-17 13:06:50 +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: 17.74
- Attempted: 2023-11-15 01:13:41 +0000
- Log
v0.1.1 compiled with GNAT 13.1.0 on linux ubuntu-22.04
- Status: FAILING
- Duration: 13.31
- Attempted: 2023-12-05 12:43:31 +0000
- Log
v0.1.1 compiled with GNAT 10.5.0 on linux ubuntu-22.04
- Status: MISSING-DEPENDENCIES
- Duration: 3.67
- Attempted: 2023-12-05 12:55:37 +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: 20.46
- Attempted: 2023-10-26 00:52:07 +0000
- Log
v0.1.1 compiled with GNAT 13.1.0 on windows mingw64_nt-10.0-20348
- Status: FAILING
- Duration: 17.44
- Attempted: 2023-11-11 12:42:13 +0000
- Log