adasat


v24.0.0 compiled with GNAT 13.2.1 on linux arch-20231112.0.191179
  • Status:
    SUCCESS
  • Duration: 5.9
  • Attempted: 2024-02-05 01:23:24 +0000
  • Log
v24.0.0 compiled with GNAT 12.2.0 on linux debian-12
  • Status:
    SUCCESS
  • Duration: 6.06
  • Attempted: 2024-02-18 01:39:32 +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 10.5.0 on linux ubuntu-22.04
  • Status:
    SUCCESS
  • Duration: 7.25
  • Attempted: 2024-02-17 01:13:15 +0000
  • Log