Dincho Todorov
|
a75f6e0c43
|
Switch to OTP23
|
2022-08-29 12:40:50 +03:00 |
|
Dincho Todorov
|
47435acc00
|
Fix wrong rocksdb buildopts
|
2020-10-23 15:47:29 +03:00 |
|
Dincho Todorov
|
dfd20b622b
|
Set cmake paralelism
|
2020-10-23 15:45:31 +03:00 |
|
Dincho Todorov
|
d33d26277e
|
Use medium+ CI executor
|
2020-10-23 12:42:07 +03:00 |
|
Ivaylo Papazov
|
7c461b7e34
|
Add CI configuration (#14)
|
2019-10-07 09:42:30 +03:00 |
|