search

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK
GNU General Public License v3.0
235 stars 55 forks source link

Fix libgpr2 building in GitHub Action CI. #947

Closed reznikmm closed 2 years ago

reznikmm commented 2 years ago

See 4731f58 commit in gpr repo or V420-024