Skip to content

Merge branch 'topic/vadim/cle' into 'master' #228

Merge branch 'topic/vadim/cle' into 'master'

Merge branch 'topic/vadim/cle' into 'master' #228

Triggered via push November 16, 2023 18:12
Status Success
Total duration 1m 10s
Artifacts

gnatdoc.yml

on: push
Fit to window
Zoom out
Zoom in