Build

Merge branch 'mr/botcazou-gnat#1696' into 'main' #9

Sign in to view logs

Triggered via push December 18, 2025 15:35

adacore-bot

main

Status Failure

Total duration 9m 38s

Artifacts –

main.yml

on: push

Matrix: Build

Annotations

9 errors

Build (ubuntu-latest, prod)

Process completed with exit code 2.

Build (ubuntu-latest, dev)

Process completed with exit code 2.

Build (windows-latest, dev)

Process completed with exit code 2.

Build (ubuntu-latest, coverage)

Process completed with exit code 2.

Build (windows-latest, prod)

Process completed with exit code 2.

Build (windows-latest, coverage)

Process completed with exit code 2.

Build (macos-latest, prod)

Process completed with exit code 2.

Build (macos-latest, dev)

Process completed with exit code 2.

Build (macos-latest, coverage)

Process completed with exit code 2.