.jenkins
|
Add a Jenkinsfile for PR job testing
|
2018-10-19 16:41:54 +01:00 |
data_files
|
Fix wrong makefile target
|
2023-05-22 09:37:55 -04:00 |
docker/bionic
|
Point to docker images used in the CI
|
2022-12-15 10:08:26 +01:00 |
suites
|
code style
|
2023-05-26 12:42:48 +01:00 |
.gitignore
|
Ignore *.o everywhere
|
2023-05-12 13:58:05 +02:00 |
CMakeLists.txt
|
Fix build errors in CMake
|
2023-03-13 19:20:42 +08:00 |
compat.sh
|
Update some comments
|
2023-02-23 16:03:56 +08:00 |
context-info.sh
|
Modifies tests in context-info.sh
|
2021-06-16 16:19:53 +01:00 |
make-in-docker.sh
|
Point to docker images used in the CI
|
2022-12-15 10:08:26 +01:00 |
Makefile
|
Fix build errors in CMake
|
2023-03-13 19:20:42 +08:00 |