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