Skip to content

Merge branch 'topic/vadim/gnatdoc' into 'main' #7

Merge branch 'topic/vadim/gnatdoc' into 'main'

Merge branch 'topic/vadim/gnatdoc' into 'main' #7

Triggered via push December 3, 2025 18:23
Status Failure
Total duration 14s
Artifacts

spellcheck.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 2.