Merge branch 'port_160_170_to_alire' into 'main' #22

Sign in to view logs

Triggered via push September 27, 2023 08:10

adacore-bot

main

Status Failure

Total duration 35s

Artifacts –

main.yaml

on: push

Sphinx_Make_HTML

Annotations

1 error

Sphinx_Make_HTML

Process completed with exit code 2.