hirtos_separation_kernel
v1.0.0 compiled with GNAT 13.2.1 on linux arch-20231112.0.191179
- Status: SUCCESS
- Duration: 39.0
- Attempted: 2024-06-12 13:00:34 +0000
- Log
v1.0.0 compiled with GNAT 13.2.1 on linux arch-20240101.0.204074
- Status: SUCCESS
- Duration: 38.64
- Attempted: 2024-06-15 01:20:35 +0000
- Log
v1.0.0 compiled with GNAT 13.2.1 on linux debian-12
- Status: SUCCESS
- Duration: 7.4
- Attempted: 2024-06-06 13:14:50 +0000
- Log
v1.0.0 compiled with GNAT 13.2.1 on linux fedora-38
- Status: SUCCESS
- Duration: 23.43
- Attempted: 2024-06-09 13:13:06 +0000
- Log
v1.0.0 compiled with GNAT 13.2.1 on linux fedora-39
- Status: SUCCESS
- Duration: 36.44
- Attempted: 2024-06-09 01:17:38 +0000
- Log
v1.0.0 compiled with GNAT 13.2.1 on linux ubuntu-22.04
- Status: SUCCESS
- Duration: 39.3
- Attempted: 2024-05-21 01:24:32 +0000
- Log
v1.0.0 compiled with GNAT 13.2.1 on linux ubuntu-24.04
- Status: UNTESTED
- Duration: 0.0
- Attempted: never
- Log