Skip to content

Actions: USTC-KnowledgeComputingLab/ddss

Actions

Pre-commit Hooks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
174 workflow runs
174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix formatting to pass pre-commit ruff-format hook Pre-commit Hooks #131: Commit 4e14b9f pushed by Copilot AI
17s copilot/optimize-egraph-execute
copilot/optimize-egraph-execute
17s
Optimize egraph execute methods with pre-filtering and equivalence class grouping Pre-commit Hooks #130: Pull request #38 synchronize by Copilot AI
13s copilot/optimize-egraph-execute
copilot/optimize-egraph-execute
13s
Fix variable naming in _execute_fact to match original convention Pre-commit Hooks #129: Commit 5453675 pushed by Copilot AI
16s copilot/optimize-egraph-execute
copilot/optimize-egraph-execute
16s
Add dump.py and load.py for one-time stdin/stdout database I/O (#36) Pre-commit Hooks #121: Commit d5d6848 pushed by hzhangxyz
12s main
main
12s
Add dump.py and load.py for one-time stdin/stdout database I/O (#36) Pre-commit Hooks #120: Commit f77ea88 pushed by hzhangxyz
13s main
main
13s
Add dump.py and load.py for one-time stdin/stdout database I/O Pre-commit Hooks #119: Pull request #36 synchronize by hzhangxyz
13s copilot/add-dump-and-load-scripts
copilot/add-dump-and-load-scripts
13s
Update ddss/load.py Pre-commit Hooks #118: Commit 214af6a pushed by hzhangxyz
15s copilot/add-dump-and-load-scripts
copilot/add-dump-and-load-scripts
15s
Add dump.py and load.py for one-time stdin/stdout database I/O Pre-commit Hooks #117: Pull request #36 synchronize by Copilot AI
14s copilot/add-dump-and-load-scripts
copilot/add-dump-and-load-scripts
14s
Fix formatting issues found by pre-commit hooks Pre-commit Hooks #116: Commit 13b52e5 pushed by Copilot AI
11s copilot/add-dump-and-load-scripts
copilot/add-dump-and-load-scripts
11s
Add dump.py and load.py for one-time stdin/stdout database I/O Pre-commit Hooks #115: Pull request #36 synchronize by Copilot AI
18s copilot/add-dump-and-load-scripts
copilot/add-dump-and-load-scripts
18s
Remove unnecessary commit() call in dump.py read-only operation Pre-commit Hooks #114: Commit 7182a23 pushed by Copilot AI
18s copilot/add-dump-and-load-scripts
copilot/add-dump-and-load-scripts
18s
Pre-commit Hooks Pre-commit Hooks #110: by hzhangxyz
13s v0.0.23
v0.0.23
13s
Fix a typo. Pre-commit Hooks #109: Commit fb63bba pushed by hzhangxyz
12s v0.0.22
v0.0.22
12s
Fix a typo. Pre-commit Hooks #108: Commit fb63bba pushed by hzhangxyz
11s main
main
11s
Fix some typing errors. Pre-commit Hooks #107: Commit b32b382 pushed by hzhangxyz
12s v0.0.21
v0.0.21
12s
Fix some typing errors. Pre-commit Hooks #106: Commit b32b382 pushed by hzhangxyz
14s main
main
14s
Use term and rule in egg/egraph argument passing instead of str. Pre-commit Hooks #105: Commit 7ee7e66 pushed by hzhangxyz
17s v0.0.20
v0.0.20
17s
Use term and rule in egg/egraph argument passing instead of str. Pre-commit Hooks #104: Commit 7ee7e66 pushed by hzhangxyz
17s main
main
17s
Add variable pattern tests for egg (#33) Pre-commit Hooks #103: Commit 30ab169 pushed by hzhangxyz
11s main
main
11s
Add variable pattern tests for egg Pre-commit Hooks #102: Pull request #33 synchronize by hzhangxyz
14s copilot/add-variable-support-to-tests
copilot/add-variable-support-to-tests
14s
run pre-commit hook. Pre-commit Hooks #101: Commit 683fd07 pushed by hzhangxyz
11s copilot/add-variable-support-to-tests
copilot/add-variable-support-to-tests
11s
Add variable pattern tests for egg Pre-commit Hooks #98: Pull request #33 synchronize by Copilot AI
13s copilot/add-variable-support-to-tests
copilot/add-variable-support-to-tests
13s
Improve docstrings for variable test clarity Pre-commit Hooks #97: Commit 82d5b8c pushed by Copilot AI
10s copilot/add-variable-support-to-tests
copilot/add-variable-support-to-tests
10s
Add variable pattern tests for egg Pre-commit Hooks #94: Pull request #33 synchronize by Copilot AI
14s copilot/add-variable-support-to-tests
copilot/add-variable-support-to-tests
14s
Add variable support tests for egg Pre-commit Hooks #93: Commit 6c83939 pushed by Copilot AI
13s copilot/add-variable-support-to-tests
copilot/add-variable-support-to-tests
13s