Skip to content

Actions: uw-math-ai/TheoremSearchApp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix logo link Sync to Hugging Face Hub #12: Commit 21c1276 pushed by sls701
7s main
main
7s
add deprecation notice + link to https://theoremsearch.com Sync to Hugging Face Hub #11: Commit 2bf3d3b pushed by sls701
8s main
main
8s
switch to one db instance connection Sync to Hugging Face Hub #10: Commit 5077a26 pushed by sls701
8s main
main
8s
remove connection pooling; fix user query storage Sync to Hugging Face Hub #9: Commit 6a5eac2 pushed by sls701
9s main
main
9s
fix GA Sync to Hugging Face Hub #8: Commit 56974d2 pushed by Vilin97
9s main
main
9s
fix feedback Sync to Hugging Face Hub #7: Commit db4ea16 pushed by Vilin97
7s main
main
7s
fix app Sync to Hugging Face Hub #6: Commit 21a2a32 pushed by Vilin97
11s main
main
11s
improve app: arxiv as default source, green/red thumb up and down, an… Sync to Hugging Face Hub #5: Commit 2e40bda pushed by Vilin97
11s main
main
11s
Improve README with project description Sync to Hugging Face Hub #4: Commit 6b616ac pushed by Vilin97
6s main
main
6s
Use force push for HF sync Sync to Hugging Face Hub #3: Commit 9c4c6d4 pushed by Vilin97
8s main
main
8s
Sync to Hugging Face Hub Sync to Hugging Face Hub #2: Manually run by Vilin97
11s main
main
11s
Initial app code with GitHub Actions HF sync Sync to Hugging Face Hub #1: Commit a2d3115 pushed by Vilin97
7s main
main
7s