You've already forked ada_language_server
mirror of
https://github.com/AdaCore/ada_language_server.git
synced 2026-02-12 12:45:50 -08:00
Drop VSS from GitHub CI scripts
because VSS is provided by libadalang binaries now. (no-issue-check)
This commit is contained in:
1
.github/workflows/build-binaries.sh
vendored
1
.github/workflows/build-binaries.sh
vendored
@@ -33,7 +33,6 @@ fi
|
||||
|
||||
export GPR_PROJECT_PATH=$prefix/share/gpr:\
|
||||
$prefix/$TARGET/share/gpr:\
|
||||
$PWD/subprojects/VSS/gnat:\
|
||||
$PWD/subprojects/gnatdoc/gnat:\
|
||||
$PWD/subprojects/lal-refactor/gnat:\
|
||||
$PWD/subprojects/libadalang-tools/src:\
|
||||
|
||||
5
.github/workflows/build-binaries.yml
vendored
5
.github/workflows/build-binaries.yml
vendored
@@ -75,11 +75,6 @@ jobs:
|
||||
uses: actions/checkout@v3
|
||||
with:
|
||||
fetch-depth: 0
|
||||
- name: Get VSS
|
||||
uses: actions/checkout@v3
|
||||
with:
|
||||
repository: AdaCore/VSS
|
||||
path: subprojects/VSS
|
||||
- name: Get Spawn
|
||||
uses: actions/checkout@v3
|
||||
with:
|
||||
|
||||
Reference in New Issue
Block a user