build

Merge branch 'automatic-merge' into 'master' #906

Sign in to view logs

Triggered via push February 4, 2025 13:04

adacore-bot

master

Status Success

Total duration 2m 56s

Artifacts –

ci.yaml

on: push

Matrix: build