adabots
v1.8.1 compiled with GNAT 14.1.1 on linux arch-20240101.0.204074
- Status: FAILING
- Duration: 9.17
- Attempted: 2024-10-02 13:09:03 +0000
- Log
v1.8.1 compiled with GNAT 13.2.1 on linux arch-20240101.0.204074
- Status: SUCCESS
- Duration: 28.89
- Attempted: 2024-05-29 01:12:32 +0000
- Log
v1.8.1 compiled with GNAT 12.2.1 on linux debian-12
- Status: INTERNAL-CI-ERROR
- Duration: 0.98
- Attempted: 2024-05-19 00:35:38 +0000
- Log
v1.8.1 compiled with GNAT 12.2.0 on linux debian-12
- Status: SUCCESS
- Duration: 35.71
- Attempted: 2024-10-02 13:13:15 +0000
- Log
v1.8.1 compiled with GNAT 13.1.1 on linux fedora-38
- Status: SUCCESS
- Duration: 28.92
- Attempted: 2024-02-26 13:11:48 +0000
- Log
v1.8.1 compiled with GNAT 13.2.1 on linux fedora-39
- Status: SUCCESS
- Duration: 28.29
- Attempted: 2024-05-31 13:05:23 +0000
- Log
v1.8.1 compiled with GNAT 14.1.1 on linux fedora-40
- Status: FAILING
- Duration: 10.34
- Attempted: 2024-07-24 01:26:54 +0000
- Log
v1.8.1 compiled with GNAT 13.2.1 on linux ubuntu-22.04
- Status: SUCCESS
- Duration: 29.79
- Attempted: 2024-06-12 01:22:54 +0000
- Log
v1.8.1 compiled with GNAT 10.5.0 on linux ubuntu-22.04
- Status: SUCCESS
- Duration: 29.72
- Attempted: 2024-06-15 13:25:45 +0000
- Log
v1.8.1 compiled with GNAT 13.2.0 on linux ubuntu-24.04
- Status: SUCCESS
- Duration: 37.71
- Attempted: 2024-08-30 13:16:25 +0000
- Log
v1.8.1 compiled with GNAT 12.2.1 on macos darwin-21.6.0
- Status: INTERNAL-CI-ERROR
- Duration: 9.21
- Attempted: 2024-05-26 00:35:13 +0000
- Log