Skip to content

Merge branch 'topic/1316' into 'master' #856

Merge branch 'topic/1316' into 'master'

Merge branch 'topic/1316' into 'master' #856

Annotations

1 warning

Build and deploy (ubuntu-20.04, aarch64)

succeeded Mar 18, 2024 in 27m 21s
Set up job
9s
Run git config --global core.autocrlf input
0s
Install cross toolchain (Linux)
29s
Install cross toolchain (MacOS)
0s
Force Alire to use preinstalled MSYS2
0s
Install iconv and gmp (Windows only)
0s
Get libadalang
1s
Get gprbuild for libgpr
1s
Get gnatcoll core
1s
Get gnatcoll iconv/gmp
0s
Get langkit
3s
Get gpr
1s
Get gprconfig kb
0s
Get AdaSAT
0s
Get prettier-ada
0s
Get VSS
1s
Try to checkout langkit's branch
0s
Run actions/cache@v3
3s
Get GNAT toolchain with alire
7s
Setup Python 3.10
0s
Build Libadalang and its dependencies
25m 53s
Keep artifacts
16s
AWS S3 upload
5s
Post Setup Python 3.10
0s
Post Get GNAT toolchain with alire
0s
Post Run actions/cache@v3
0s
Post Get VSS
0s
Post Get prettier-ada
0s
Post Get AdaSAT
0s
Post Get gprconfig kb
0s
Post Get gpr
0s
Post Get langkit
0s
Post Get gnatcoll iconv/gmp
0s
Post Get gnatcoll core
1s
Post Get gprbuild for libgpr
0s
Post Get libadalang
0s
Complete job
0s