Skip to content

Commit

Permalink
feat: rust RocksDB interface and test workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
vivgor committed Mar 19, 2024
1 parent 68cad82 commit b294675
Show file tree
Hide file tree
Showing 14 changed files with 1,243 additions and 13 deletions.
34 changes: 34 additions & 0 deletions .github/workflows/rocksdb.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
name: RockdDB CI

on: [push, pull_request]

jobs:
fmt:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- uses: actions-rs/toolchain@v1
with:
profile: minimal
components: rustfmt, clippy
toolchain: 1.75.0
- name: install liburing
run: sudo apt-get install -y liburing-dev
- name: cargo fmt
run: cargo fmt --all --check
- name: cargo clippy
run: cargo clippy --all --all-features --all-targets
- name: cargo test
run: cargo test --all --all-features

audit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- uses: actions-rs/audit-check@v1
with:
token: ${{ secrets.GITHUB_TOKEN }}
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -12,3 +12,5 @@ Cargo.lock

# MSVC Windows builds of rustc generate these, which store debugging information
*.pdb

.vscode/
10 changes: 10 additions & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -10,4 +10,14 @@ license = "MIT"

[dependencies]
autocxx = "0.26.0"
tvl-librocksdb-sys = { path = "librocksdb-sys", version = "8.11.3"}
moveit = "0.6.0"

[dev-dependencies]
tempfile = "3.10.1"

[workspace]
members = ["librocksdb-sys"]

[profile.release]
lto = true
2 changes: 1 addition & 1 deletion librocksdb-sys/Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "tvl-librocksdb-sys"
version = "0.1.0"
version = "8.11.3"
edition = "2021"
description = "Bindings to RocksDB used by the cozo crate"
authors = ["Khalani Dev", "Guanhao Yin", "Ziyang Hu"]
Expand Down
Loading

0 comments on commit b294675

Please sign in to comment.