New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cleanup unused: old CI, .cargo #312

Merged

mratsim merged 2 commits into master from cleanup

Dec 4, 2023

Owner

mratsim commented Dec 4, 2023

Remove old CI files: Azure Pipelines, Travis CI
Remove .cargo, used to be used for ThinLTO but this is too cumbersome as even the Clang/Rust LLVM backend need to match.
Move explain_bin_size.sh to scripts folder
delete bindings/lib_threadpool, was just an empty proxying file


          cleanup unused files: Azure Pipelines, Travis CI, .cargo

5ae250d

mratsim force-pushed the cleanup branch from c9a7c79 to 5ae250d Compare

December 4, 2023 16:33


          update readme with Rust

c598c30

mratsim merged commit 0a17002 into master

16 checks passed

mratsim deleted the cleanup branch

December 4, 2023 16:48

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet