Skip to content

Actions: lokico/rbdb

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add datalog convenience methods to RBDB Docs #5: Commit 06e5459 pushed by chkn
1m 7s main
main
1m 7s
Add datalog convenience methods to RBDB Test #26: Commit 06e5459 pushed by chkn
1m 40s main
main
1m 40s
Add token permissions for docs workflow Test #25: Commit a273a33 pushed by chkn
2m 59s main
main
2m 59s
Add token permissions for docs workflow Docs #4: Commit a273a33 pushed by chkn
3m 27s main
main
3m 27s
Fix docs workflow Test #24: Commit 362a9ef pushed by chkn
3m 14s main
main
3m 14s
Fix docs workflow Docs #3: Commit 362a9ef pushed by chkn
1m 9s main
main
1m 9s
Fix formatting Test #23: Commit cbfd9a3 pushed by chkn
3m 15s main
main
3m 15s
Fix formatting Docs #2: Commit cbfd9a3 pushed by chkn
Failure main
main
Failure
Build and deploy docs Test #22: Commit ccf6e7f pushed by chkn
2m 50s main
main
2m 50s
Build and deploy docs Docs #1: Commit ccf6e7f pushed by chkn
Failure main
main
Failure
[Datalog] Remove superfluous Whitespace parsers Test #21: Commit db2eac1 pushed by chkn
2m 57s main
main
2m 57s
Update readme, add MIT license Test #20: Commit cef3b0c pushed by chkn
4m 7s main
main
4m 7s
Add datalog mode to the CLI Test #19: Commit 68b18c5 pushed by chkn
3m 35s main
main
3m 35s
Add Datalog library with parser and printer functionality Test #18: Commit 14a3adb pushed by chkn
3m 56s main
main
3m 56s
Fix Horn clause SQL generation and add comprehensive inference tests Test #17: Commit 1be9c8a pushed by chkn
1m 27s main
main
1m 27s
Add rerun method to the SQLiteCursor to reuse prepared statements Test #16: Commit 4752f8a pushed by chkn
1m 21s main
main
1m 21s
Fix lint Test #15: Commit d0320bd pushed by chkn
1m 17s main
main
1m 17s
Don't select a null row for implication rules Test #14: Commit 34b4e53 pushed by chkn
1m 18s main
main
1m 18s
Implement iterator-based query API with SQLiteCursor Test #13: Commit 0fa7653 pushed by chkn
1m 22s main
main
1m 22s
Replace string/parameter-based SQL API with interpolated SQL struct Test #12: Commit 009a27c pushed by chkn
1m 32s main
main
1m 32s
Add unsafe variable validation for horn clauses Test #11: Commit 7142596 pushed by chkn
1m 19s main
main
1m 19s
Replace Formula.predicate with hornClause and add horn clause parsing Test #10: Commit c4ec9cb pushed by chkn
1m 22s main
main
1m 22s
Ensure predicates exist when asserting formulas Test #9: Commit b9550e2 pushed by chkn
1m 15s main
main
1m 15s
Add an initial README Test #8: Commit 5de4795 pushed by chkn
1m 15s main
main
1m 15s
[RBDB] Fix transaction rollback error in CREATE TABLE interception Test #7: Commit a7b5f30 pushed by chkn
1m 10s main
main
1m 10s