- 13 Apr, 2021 2 commits
-
-
Louis Gesbert authored
-
Louis Gesbert authored
-
- 12 Apr, 2021 1 commit
-
-
Mohamed H authored
-
- 09 Apr, 2021 3 commits
-
-
Louis Gesbert authored
CI: Workaround opam beta bug See merge request !5
-
Louis Gesbert authored
-
Louis Gesbert authored
-
- 06 Apr, 2021 3 commits
-
-
Louis Gesbert authored
Morcellement du code de l'utilisateur See merge request !2
-
Mohamed H authored
-
Mohamed H authored
-
- 02 Apr, 2021 1 commit
-
-
Mohamed H authored
-
- 01 Apr, 2021 1 commit
-
-
Mohamed H authored
-
- 26 Nov, 2020 5 commits
-
-
Louis Gesbert authored
-
Louis Gesbert authored
-
Louis Gesbert authored
-
Louis Gesbert authored
-
Louis Gesbert authored
(with gitlab management of namespaces disabled)
-
- 25 Nov, 2020 1 commit
-
-
Louis Gesbert authored
-
- 17 Sep, 2020 1 commit
-
-
Louis Gesbert authored
-
- 28 Apr, 2020 3 commits
-
-
Louis Gesbert authored
This will probably be a tad slower, because it re-packs `_opam` at every run. However, the previous version would not rebuild the cache if cleared unless run manually or the opam file was changed ; the caching mechanism just isn't flexible enough.
-
Louis Gesbert authored
-
Louis Gesbert authored
Install gitlab CI for direct deployment
-
- 16 Mar, 2020 3 commits
-
-
Louis Gesbert authored
-
Louis Gesbert authored
-
Louis Gesbert authored
-
- 07 Feb, 2020 1 commit
-
-
Louis Gesbert authored
-
- 06 Feb, 2020 2 commits
-
-
Louis Gesbert authored
-
Louis Gesbert authored
-
- 19 Dec, 2019 10 commits
-
-
Louis Gesbert authored
-
Louis Gesbert authored
-
Louis Gesbert authored
-
Louis Gesbert authored
This reverts commit 74939900.
-
Louis Gesbert authored
-
Louis Gesbert authored
-
Louis Gesbert authored
-
Louis Gesbert authored
-
Louis Gesbert authored
-
Louis Gesbert authored
-
- 18 Dec, 2019 3 commits
-
-
Louis Gesbert authored
(toplevel dialog on top of toplevel pane)
-
Louis Gesbert authored
-
Louis Gesbert authored
messaging closures, using the new Location.warning interface, does not go well...
-