Skip to content
Build binaries

Merge branch 'topic/1046' into 'master' #711

Sign in to view logs

Merge branch 'topic/1046' into 'master'

Merge branch 'topic/1046' into 'master' #711

Triggered via push October 2, 2023 08:34
@adacore-botadacore-bot
pushed 2a7252f
master
Status Success
Total duration 41m 31s
Artifacts 3

build-binaries.yml

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

Artifacts

Produced during runtime
Name Size
Linux- Expired
54.1 MB
Windows- Expired
54.1 MB
macOS- Expired
53.9 MB