build

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

Sign in to view logs

Triggered via push February 5, 2025 11:20

adacore-bot

master

Status Success

Total duration 2m 46s

Artifacts –

ci.yaml

on: push

Matrix: build