ada/prettier-ada
0
0
Fork 0
mirror of https://github.com/AdaCore/prettier-ada.git synced 2026-02-12 13:12:50 -08:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 603c4591a1 Merge branch 'pmderodat/valgrind' into 'main' Pierre-Marie de Rodat 2023-10-25 09:04:05 +00:00
  • 1a0711756d Testsuite: implement the Valgrind mode Pierre-Marie de Rodat 2023-10-23 11:43:36 +00:00
  • 7ea7fe1344 Merge branch 'pmderodat/ci' into 'main' Pierre-Marie de Rodat 2023-10-25 08:54:12 +00:00
  • 0a110611dc Make the CI interruptible Pierre-Marie de Rodat 2023-10-25 08:28:16 +00:00
  • b18c232327 Merge branch 'pmderodat/ci' into 'main' Pierre-Marie de Rodat 2023-10-23 15:39:03 +00:00
  • b82e038808 .gitlab-ci.yaml: run the CI on merge requests only Pierre-Marie de Rodat 2023-10-23 14:06:25 +00:00
  • fe3da01a97 Merge branch 'pmderodat/ci' into 'main' Pierre-Marie de Rodat 2023-10-23 09:57:31 +00:00
  • 7ff840c9ff Merge branch 'pmderodat/library_type' into 'main' Pierre-Marie de Rodat 2023-10-23 09:47:14 +00:00
  • 95b09f84c6 Makefile: pass -XLIBRARY_TYPE to gprinstall in the install-bin target Pierre-Marie de Rodat 2023-10-23 09:04:48 +00:00
  • 01a5c04663 Add a CI Pierre-Marie de Rodat 2023-10-23 07:59:51 +00:00
  • 81d1990845 Merge branch 'pmderodat/json_serializer' into 'main' Pierre-Marie de Rodat 2023-10-22 16:31:00 +00:00
  • f782d7fd3f Makefile: pass --install-name to gprinstall Pierre-Marie de Rodat 2023-10-19 15:34:03 +00:00
  • 8adad50529 Prettier_Ada.Documents.JSON: implement serialization Pierre-Marie de Rodat 2023-10-19 15:07:31 +00:00
  • 524734e99e Reorganize test programs Pierre-Marie de Rodat 2023-10-19 15:04:39 +00:00
  • 94b2d35ebc Prettier_Ada.Documents.Json.Deserialize: add JSON parsing error message Pierre-Marie de Rodat 2023-10-19 14:27:38 +00:00
  • 52e25272c1 Merge branch 'initial_port' into 'main' João Azevedo 2023-10-20 14:49:43 +00:00
  • 90b199ef22 Initial Prettier port to Ada Joao Azevedo 2023-10-12 09:45:56 +01:00
  • db40d3b046 Initial commit Joao Azevedo 2023-10-16 10:47:22 +01:00