Skip to content
Make Docs

Merge branch 'topic/vadim/editor-vss' into 'master' #285

Sign in to view logs

Merge branch 'topic/vadim/editor-vss' into 'master'

Merge branch 'topic/vadim/editor-vss' into 'master' #285

Triggered via push February 11, 2025 15:48
@adacore-botadacore-bot
pushed e66275b
master
Status Failure
Total duration 52s
Artifacts –

gnatdoc.yml

on: push
Docs
41s
Docs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Docs
Process completed with exit code 2.