Issues · Decoder · GitLab

Docker cache wrongly invalidated

pkm-api#16 · opened Oct 23, 2020 by Gaël de Chalendar Docker container
- 1
updated Oct 23, 2020
Adding a new file to an existant project does not work.

pkm-api#14 · opened Aug 31, 2020 by Frejus Laleye
- 0
updated Aug 31, 2020
Add .gitignore file to exclude folders like node_modules

pkm-api#13 · opened Aug 25, 2020 by Miguel Ángel Jaén Gómez
- 0
updated Aug 25, 2020
Documentation is not public

pkm-api#12 · opened Jul 07, 2020 by Pierre-Yves Gibello
- 0
updated Jul 07, 2020
Docker container update fails due to wrong handling of apt updates

pkm-api#11 · opened Jun 12, 2020 by Gaël de Chalendar Docker container
- 0
updated Jun 12, 2020
Inserting same source file twice generates duplicate

pkm-api#7 · opened May 14, 2020 by Pierre-Yves Gibello
- 5
updated May 18, 2020
PKM initialization ends with error message (and fails ?)

pkm-api#6 · opened May 14, 2020 by Pierre-Yves Gibello
- 1
updated Jun 03, 2020
Use of filename as index

pkm-api#3 · opened Apr 15, 2020 by Virgile Prevosto Frama-C
- 5
updated May 14, 2020
Add a notion of transaction?

pkm-api#2 · opened Apr 15, 2020 by Virgile Prevosto
- 2
updated May 14, 2020