- 28 Jun, 2023 3 commits
-
-
Alexandre Delanoë authored
-
Alfredo Di Napoli authored
-
Alfredo Di Napoli authored
-
- 27 Jun, 2023 2 commits
-
-
Alfredo Di Napoli authored
-
Alexandre Delanoë authored
-
- 12 Jun, 2023 1 commit
-
-
qlobbe authored
-
- 06 Jun, 2023 1 commit
-
-
Przemyslaw Kaminski authored
-
- 02 Jun, 2023 1 commit
-
-
Przemyslaw Kaminski authored
Unique index is necessary when one wants to refresh the view concurrently.
-
- 01 Jun, 2023 2 commits
-
-
Przemyslaw Kaminski authored
This doesn't block the whole view for the (long) period of refreshing it.
-
qlobbe authored
-
- 15 May, 2023 1 commit
-
-
Alfredo Di Napoli authored
-
- 12 May, 2023 1 commit
-
-
Alexandre Delanoë authored
-
- 26 Apr, 2023 2 commits
- 12 Apr, 2023 1 commit
-
-
Przemyslaw Kaminski authored
This is safer than type Limit = Int
-
- 06 Apr, 2023 1 commit
-
-
Alfredo Di Napoli authored
This big commit improves the jobs API in a way that now we can completely abstract away over a JobLog.
-
- 23 Mar, 2023 2 commits
-
-
Alexandre Delanoë authored
-
Przemyslaw Kaminski authored
-
- 16 Mar, 2023 1 commit
-
-
Przemyslaw Kaminski authored
-
- 10 Mar, 2023 3 commits
- 03 Mar, 2023 1 commit
-
-
qlobbe authored
-
- 13 Feb, 2023 1 commit
-
-
Alfredo Di Napoli authored
-
- 25 Jan, 2023 1 commit
-
-
Przemyslaw Kaminski authored
Based on the suggestions in https://kodimensional.dev/space-leak
-
- 10 Jan, 2023 1 commit
-
-
qlobbe authored
-
- 19 Dec, 2022 1 commit
-
-
Przemyslaw Kaminski authored
-
- 29 Nov, 2022 1 commit
-
-
qlobbe authored
-
- 27 Oct, 2022 1 commit
-
-
Przemyslaw Kaminski authored
-
- 17 Oct, 2022 1 commit
-
-
Alp Mestanogullari authored
-
- 07 Oct, 2022 1 commit
-
-
Alexandre Delanoë authored
-
- 30 Sep, 2022 1 commit
-
-
Alexandre Delanoë authored
-
- 26 Sep, 2022 2 commits
-
-
qlobbe authored
-
Alexandre Delanoë authored
-
- 23 Sep, 2022 1 commit
-
-
Alexandre Delanoë authored
-
- 21 Sep, 2022 1 commit
-
-
qlobbe authored
-
- 14 Sep, 2022 1 commit
-
-
Alexandre Delanoë authored
-
- 12 Sep, 2022 1 commit
-
-
Alexandre Delanoë authored
-
- 09 Sep, 2022 1 commit
-
-
Przemyslaw Kaminski authored
This is used to save when quitting the server. Previous, debounce save, didn't work properly on exit.
-
- 07 Sep, 2022 1 commit
-
-
Alexandre Delanoë authored
-