Skip to content

Actions: frenzymath/LeanSearch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: use type for items without signatures lint #21: Commit 3631377 pushed by tonyxty
10s main
main
10s
chore: update requirements.txt lint #20: Commit 6212e73 pushed by tonyxty
8s main
main
8s
chore: update requirements.txt lint #19: Commit e71b217 pushed by tonyxty
16s main
main
16s
feat: use connection pools lint #18: Commit 3976bda pushed by tonyxty
4m 9s main
main
4m 9s
refactor: delegate embedding to separate server lint #17: Commit 42cf45a pushed by tonyxty
9s main
main
9s
feat: handle symbols without declarations lint #16: Commit 999940b pushed by tonyxty
11s main
main
11s
fix: auto-reconnect in app.retriever lint #15: Commit a802e56 pushed by tonyxty
16s main
main
16s
fix: auto-reconnect postgresql connection lint #14: Commit f264465 pushed by tonyxty
10s main
main
10s
fix(feedback): create schema lint #13: Commit f643672 pushed by tonyxty
10s main
main
10s
feat: create python -m prefix helper command (#12) lint #12: Commit f802d76 pushed by tonyxty
10s main
main
10s
refactor: fix pylance errors in jixia_db.py (#9) lint #11: Commit c78ce80 pushed by tonyxty
8s main
main
8s
feat: make dry runs possible (#14) lint #10: Commit 3b21a1b pushed by tonyxty
9s main
main
9s
dev: add dev Makefile lint #9: Commit 6c37bcd pushed by tonyxty
10s main
main
10s
feat: ruff proposal lint #8: Pull request #11 synchronize by lakesare
10s lakesare:lakesare/ruff
lakesare:lakesare/ruff
10s
feat: ruff proposal lint #7: Pull request #11 synchronize by lakesare
2m 19s lakesare:lakesare/ruff
lakesare:lakesare/ruff
2m 19s
feat: ruff proposal lint #6: Pull request #11 synchronize by lakesare
12s lakesare:lakesare/ruff
lakesare:lakesare/ruff
12s
feat: ruff proposal lint #5: Pull request #11 opened by lakesare
13s lakesare:lakesare/ruff
lakesare:lakesare/ruff
13s
chore: upgrade package versions lint #4: Commit 30a3141 pushed by tonyxty
12s main
main
12s
ci: add linter workflow lint #3: Commit dd2b1a7 pushed by tonyxty
9s main
main
9s