Merge remote branch 'origin/master' into edge · AdaCore/ada_language_server@4196cd2

Triggered via push October 21, 2023 00:56

edge

Status Failure

Total duration 1h 47m 23s

Artifacts 2

build-binaries.yml

on: push

Matrix: Build and deploy

1 error

Process completed with exit code 2.

Produced during runtime

Name	Size
als-Linux- Expired	235 MB
als-Windows- Expired	268 MB