gnatprove
v13.2.1 compiled with GNAT 13.2.1 on linux arch-20230723.0.166908
- Status: SUCCESS
- Duration: 16.47
- Attempted: 2023-12-01 12:57:41 +0000
- Log
v13.2.1 compiled with GNAT 12.2.0 on linux debian-12
- Status: SUCCESS
- Duration: 15.08
- Attempted: 2023-11-11 02:46:43 +0000
- Log
v13.2.1 compiled with GNAT 13.1.1 on linux fedora-38
- Status: SUCCESS
- Duration: 15.66
- Attempted: 2023-11-17 01:18:10 +0000
- Log
v13.2.1 compiled with GNAT 10.5.0 on linux ubuntu-22.04
- Status: SUCCESS
- Duration: 17.57
- Attempted: 2023-12-02 01:19:39 +0000
- Log