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 arch-20241006.0.268140
  • Status:
    UNTESTED
  • Duration: 0.0
  • Attempted: never
  • 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