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,994 Commits 55 Branches 79 Tags
26.2
Commit Graph

79 Commits

Author SHA1 Message Date
Nicolas Setton
b0a05a08a7 Add a github/dependabot.yml file 
This should activate dependabot alerts for this repository.

Implements #1692
 2025-07-22 11:44:39 +01:00
Maxim Reznik
4e8bfc83dc Use Alire 2.1.0 to install GCC 15 2025-06-09 18:42:37 +03:00
Elie Richa
7685282d84 Remove deprecated ubuntu-20.04 runner for GitHub workflow 
no-issue-check
 2025-04-16 11:26:02 +02:00
Maxim Reznik
54a64c40e8 Use native compiler for AArch64/Linux from Alire 
Refs #1606
 2025-03-24 17:50:22 +02:00
Elie Richa
6a7ae4c6fd Run tests in a separate step and archive report 2025-02-19 10:19:19 +00:00
Maxim Reznik
81111c31ff Use edge branch in scheduled builds on GitHub 
Fix #1566
 2025-01-22 14:14:42 +00:00
Maxim Reznik
e50500b170 Run GitHub CI on a schedule 
Fix #1566
 2025-01-21 17:22:41 +00:00
Elie Richa
c83c766bdc Continue despite failing to download a cross toolchain 2025-01-17 10:31:23 +00:00
Elie Richa
05d72d7747 Improve ALS Alire-based build script to support local development 2025-01-17 10:31:23 +00:00
Elie Richa
5f01985bbd Support creating a pre-release VSIX in the GitHub workflow 2025-01-02 09:14:09 +00: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