adasat


v24.0.0 compiled with GNAT 13.2.1 on linux arch-20231112.0.191179
  • Status:
    SUCCESS
  • Duration: 5.12
  • Attempted: 2024-05-08 01:10:40 +0000
  • Log
v24.0.0 compiled with GNAT 14.1.1 on linux arch-20240101.0.204074
  • Status:
    SUCCESS
  • Duration: 5.86
  • Attempted: 2024-07-18 13:08:14 +0000
  • Log
v24.0.0 compiled with GNAT 13.2.1 on linux arch-20240101.0.204074
  • Status:
    SUCCESS
  • Duration: 6.09
  • Attempted: 2024-06-03 13:04:47 +0000
  • Log
v24.0.0 compiled with GNAT 12.2.0 on linux debian-12
  • Status:
    SUCCESS
  • Duration: 6.27
  • Attempted: 2024-06-17 01:09:54 +0000
  • Log
v24.0.0 compiled with GNAT 13.1.1 on linux fedora-38
  • Status:
    SUCCESS
  • Duration: 5.13
  • Attempted: 2024-01-13 12:53:16 +0000
  • Log
v24.0.0 compiled with GNAT 13.2.1 on linux fedora-39
  • Status:
    SUCCESS
  • Duration: 5.09
  • Attempted: 2024-05-21 13:18:38 +0000
  • Log
v24.0.0 compiled with GNAT 14.1.1 on linux fedora-40
  • Status:
    SUCCESS
  • Duration: 5.33
  • Attempted: 2024-07-13 01:20:07 +0000
  • Log
v24.0.0 compiled with GNAT 13.2.1 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 5.07
  • Attempted: 2024-06-06 01:28:01 +0000
  • Log
v24.0.0 compiled with GNAT 10.5.0 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 6.87
  • Attempted: 2024-05-31 01:23:39 +0000
  • Log
v24.0.0 compiled with GNAT 13.2.0 on linux ubuntu-24.04
  • Status:
    SUCCESS
  • Duration: 6.75
  • Attempted: 2024-06-19 13:21:24 +0000
  • Log