ada/ada_language_server
0
0
Fork 0
mirror of https://github.com/AdaCore/ada_language_server.git synced 2026-02-12 12:45:50 -08:00
Code Issues Packages Projects Releases Wiki Activity
3,388 Commits 55 Branches 79 Tags
topic/workflows
Commit Graph

70 Commits

Author SHA1 Message Date
Anthony Leonardo Gracio
07e25e8b59 TODO: workflows 2024-12-16 11:37:02 +01:00
Elie Richa
89ac80d5a3 Switch GitHub workflow to macos-13 2024-12-13 16:23:10 +00:00
Maxim Reznik
467b5435af Update Python version in GHA. More items in CHANGELOG.md 
Refs #1486
 2024-11-13 14:16:38 +02:00
Anthony Leonardo Gracio
871b232676 Fix 'enhancement' GitHub template 
Use the 'enhancement' label instead of 'bug'.

Mentioned on https://github.com/AdaCore/ada_language_server/issues/1215

(no-issue-check)
 2024-10-24 13:44:12 +00:00
Maxim Reznik
13959f60ac Rename release archive to include version and product name. 
Also
* use Alire 2.0.2
* fix `pip install` error on istalling libadalang dependencies.

Refs
* https://github.com/AdaCore/ada_language_server/issues/1212
* https://github.com/AdaCore/ada_language_server/issues/1213

Fixes ada_language_server#1471
 2024-10-22 17:19:59 +00:00
Maxim Reznik
338d7b64e7 Use dependency commits from a file to build ALS. 
Refs #1351
 2024-09-13 17:12:54 +03:00
Maxim Reznik
ed559fb4b4 Restore AWS secrets variables 
We need them to fetch gnat cross compiler
 2024-09-09 12:42:55 +03:00
Maxim Reznik
e34dc18820 Restore GitHub Action to build ALS on AArch64 Linux 
with cross-toolchain.

Ref #1387
 2024-09-02 11:08:27 +03:00
Elie Richa
46ffa686dd Use CHANGELOG.md in GitHub actions 2024-08-20 14:33:49 +00:00
Elie Richa
ab2d14e257 Change the AWS S3 bucket URL in GitHub workflow 2024-08-13 13:37:16 +00:00
Maxim Reznik
64a6683cec Drop alire-project/setup-alire@v3 usage in GH Action 
and fetch Alire with curl to avoid dependency on
`engineerd/configurator@v0.0.10`.

Refs #1387
 2024-08-12 10:09:38 +00:00
Maxim Reznik
a4d1341319 Use Alire to build ALS on GitHub 
Ref #1387
 2024-08-06 14:51:41 +03:00
Elie Richa
7cebbc3f28 Simplify GitHub vscode workflow to only macOS and no publishing 2024-07-17 14:24:47 +00:00
Elie Richa
c8a4c4312b Format script and fix shellcheck warnings 2024-07-17 14:24:47 +00:00
Anthony Leonardo Gracio
6b3ecb2b48 Add a GitHub issue template for enhancements 
For eng/ide/ada_language_server#1346
 2024-05-07 08:32:36 +00:00
Elie Richa
496e02525a Apply 1 suggestion(s) to 1 file(s) 2024-05-07 08:22:18 +00:00
Anthony Leonardo Gracio
7a0f767da1 Add issue template for GitHub bug reports 
For eng/ide/ada_language_server#1346
 2024-05-06 15:09:36 +00:00
Maxim Reznik
e513ba37cd Drop VSS from GitHub CI scripts 
because VSS is provided by libadalang binaries now.

(no-issue-check)
 2024-02-21 17:03:16 +02:00
Maxim Reznik
9352d91a3e Fix release.sh script 
Refs #1261

(cherry picked from commit 2553f7ad1c)
 2024-02-05 17:08:40 +00:00
Max Reznik
0fcd4c5922 Copy libgmp for Mac OS M 2023-12-06 17:52:53 +00:00
Maxim Reznik
48ebae10ed Build binaries for Mac OS M1 on GitHub Action 
Refs eng/ide/ada_language_server#1262
 2023-12-06 12:42:07 +02:00
Max Reznik
15bb2d811f Build ALS for AArch64 linux with cross 
Refs ada_language_server#1251
 2023-11-28 21:42:07 +02:00
Maxim Reznik
c085ca308c GitHub CI: Use GCC 13 to build ALS 
Switch to 24.0.x numbering. Force Alire use preinstalled MSYS2 on
Windows.
 2023-10-19 21:49:16 +03:00
Elie Richa
01c319f809 Support more architectures and platforms in VS Code 
* Change executable location to <arch>/<platform>/
* Add 'arm64' as a supported architecture
* Add initialization code that checks specific combinations of
  architectures and platforms (e.g. arm64-darwin is supported even
  though it actually uses the x64-darwin executable)
 2023-07-10 19:01:47 +02:00
Maxim Reznik
d8e492f654 Update GitHub scripts to use lal-refactor repo 
Also disable CI for PR, because it doesn't work for external PR
for security reasons and we don't do internal PR on GitHub any more.
 2023-06-30 19:23:26 +03:00