Matthieu Gautier 7a23bb5b8b Fix creation of base dependencies archive. ...

The `INSTALL_DIR` was added twice. It was not a issue as we then transform
the list into a set to remove duplicated.

But with `filter_install_dir` call only on one "add", the (textual)
entries are not duplicated and so, not removed. So the files where add
twice.

Now we correctly filter initial `INSTALL_DIR` and we remove the second add.

2023-03-14 17:17:30 +01:00

..

build_projects.py

[CI] Build libkiwix on on native_mixed

2022-11-30 14:22:13 +01:00

build_release_nightly.py

[CI] Build libkiwix on on native_mixed

2022-11-30 14:22:13 +01:00

common.py

Fix creation of base dependencies archive.

2023-03-14 17:17:30 +01:00

compile_all_deps.py

Add build of libzim on wasm in the CI

2022-11-16 16:37:05 +01:00

ensure_base_deps.py

Build and release each libkiwix android builds independently.

2022-06-10 10:26:24 +02:00

upload_failure_logs.sh

Target uploads to new dropbox address

2022-03-30 22:10:06 +00:00