Skip to content

Merge branch 'issue_171' into 'master' #619

Merge branch 'issue_171' into 'master'

Merge branch 'issue_171' into 'master' #619

Annotations

1 error and 2 warnings

Build (ubuntu-latest)

failed May 2, 2024 in 2m 18s
Set up job
6s
Initialize git autocrlf
0s
Install iconv and gmp (Windows only)
0s
Get LAL_Tools
1s
Run actions/cache@v2
0s
Get GNAT Community 2020 toolchain
1m 52s
Build (Windows)
0s
Build (non-Windows)
15s
Post Run actions/cache@v2
0s
Post Get LAL_Tools
0s
Complete job
0s