adabots


v1.8.1 compiled with GNAT 14.1.1 on linux arch-20240101.0.204074
  • Status:
    FAILING
  • Duration: 11.13
  • Attempted: 2024-07-11 13:02:16 +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: 34.06
  • Attempted: 2024-07-20 12:57:54 +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: 205.98
  • Attempted: 2024-07-12 13:11:46 +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.01
  • Attempted: 2024-07-12 01:11:23 +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