Skip to content
Build binaries

Merge branch 'topic/1167' into 'master' #774

Sign in to view logs

Merge branch 'topic/1167' into 'master'

Merge branch 'topic/1167' into 'master' #774

Triggered via push December 11, 2023 09:02
@adacore-botadacore-bot
pushed 28e6d97
master
Status Success
Total duration 34m 19s
Artifacts 5

build-binaries.yml

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

Artifacts

Produced during runtime
Name Size
Linux- Expired
55.2 MB
Linux-aarch64 Expired
53.7 MB
Windows- Expired
55.3 MB
macOS- Expired
55.5 MB
macOS-aarch64 Expired
58.9 MB