Skip to content

Actions: qed-solver/parser

Actions

Test Code Generation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updated CockroachTests
Test Code Generation #76: Commit 83b21f0 pushed by zengzirong
1m 18s dsl
dsl
Refactoring
Test Code Generation #75: Commit f563638 pushed by WKaiZ
1m 22s dsl
dsl
Final Set of Rules + Helper Funcs
Test Code Generation #71: Commit 0bfc387 pushed by WKaiZ
1m 36s dsl
dsl
rules
Test Code Generation #70: Commit 6c1cd4b pushed by WKaiZ
1m 29s dsl
dsl
generalized JoinConditionPush
Test Code Generation #69: Commit db8a299 pushed by zengzirong
1m 23s dsl
dsl
Genearlize the Remaining Rules and Add Logic
Test Code Generation #68: Commit a78f03f pushed by WKaiZ
1m 24s dsl
dsl
Revert "Adding Generalized Rule"
Test Code Generation #67: Commit d9fdce8 pushed by WKaiZ
1m 20s dsl
dsl
Adding Generalized Rule
Test Code Generation #66: Commit e7c99cf pushed by WKaiZ
30s dsl
dsl
Merge pull request #33 from qed-solver/dsl-test
Test Code Generation #65: Commit 4e6ed82 pushed by WKaiZ
1m 23s dsl
dsl
Dsl test
Test Code Generation #64: Pull request #33 synchronize by WKaiZ
1m 23s dsl-test
Fix
Test Code Generation #62: Commit 4672a3f pushed by WKaiZ
1m 14s dsl-test
Correction
Test Code Generation #60: Commit 83bf35e pushed by WKaiZ
1m 29s dsl
dsl
Fixing
Test Code Generation #59: Commit 3e16ff1 pushed by WKaiZ
1m 36s dsl-test
Merge pull request #31 from qed-solver/dsl-test
Test Code Generation #58: Commit 349dfdb pushed by WKaiZ
1m 51s dsl
dsl
Fixing
Test Code Generation #56: Commit 3e16ff1 pushed by WKaiZ
1m 53s dsl-test
Adding Updated Generator and Tests
Test Code Generation #52: Commit 27ccf1c pushed by WKaiZ
1m 42s dsl-test
Removing Comments and Imports
Test Code Generation #50: Commit a24568a pushed by WKaiZ
1m 20s dsl-test