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 13m 50s
Artifacts

main.yml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Build (windows-latest, dev)
Process completed with exit code 1.
Build (ubuntu-latest, coverage)
Process completed with exit code 35.
Build (windows-latest, prod)
Process completed with exit code 2.
Build (ubuntu-latest, dev)
Process completed with exit code 2.
Build (ubuntu-latest, prod)
Process completed with exit code 2.
Build (windows-latest, coverage)
Process completed with exit code 2.
Build (macos-latest, dev)
Process completed with exit code 2.
Build (macos-latest, prod)
Process completed with exit code 2.
Build (macos-latest, coverage)
Process completed with exit code 2.