Skip to content
Build

Merge branch 'topic/vadim/perf' into 'master' #1450

Sign in to view logs

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

Merge branch 'topic/vadim/perf' into 'master' #1450

Triggered via push February 18, 2025 08:39
@adacore-botadacore-bot
pushed 875cdd9
master
Status Failure
Total duration 11m 52s
Artifacts –

main.yml

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

Annotations

3 errors
Build (macos-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.