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

Sign in to view logs

Triggered via push November 26, 2024 14:08

adacore-bot

master

Status Success

Total duration 1m 22s

Artifacts –

ci.yaml

on: push

Matrix: build