10000 Merge branch 'topic/vadim/private' into 'master' · AdaCore/gnatdoc@dd967ed · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
8000
Build binaries

Merge branch 'topic/vadim/private' into 'master' #273

Sign in to view logs

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

Merge branch 'topic/vadim/private' into 'master' #273

Triggered via push March 5, 2025 10:25
@adacore-botadacore-bot
pushed dd967ed
master
Status Failure
Total duration 4m 3s
Artifacts –

build.yml

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

Annotations

3 errors
Build and deploy (ubuntu-latest)
Process completed with exit code 2.
Build and deploy (macos-latest)
Process completed with exit code 2.
Build and deploy (windows-latest)
Process completed with exit code 1.
0