Skip to content

Actions: qed-solver/parser

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updated CockroachTests Test Provability #76: Commit 83b21f0 pushed by zengzirong
2m 51s dsl
dsl
2m 51s
updated CockroachTests Test Code Generation #76: Commit 83b21f0 pushed by zengzirong
1m 18s dsl
dsl
1m 18s
Refactoring Test Code Generation #75: Commit f563638 pushed by WKaiZ
1m 22s dsl
dsl
1m 22s
Refactoring Test Provability #75: Commit f563638 pushed by WKaiZ
2m 49s dsl
dsl
2m 49s
Final Set of Rules + Helper Funcs Test Code Generation #71: Commit 0bfc387 pushed by WKaiZ
1m 36s dsl
dsl
1m 36s
Final Set of Rules + Helper Funcs Test Provability #71: Commit 0bfc387 pushed by WKaiZ
3m 4s dsl
dsl
3m 4s
rules Test Code Generation #70: Commit 6c1cd4b pushed by WKaiZ
1m 29s dsl
dsl
1m 29s
rules Test Provability #70: Commit 6c1cd4b pushed by WKaiZ
3m 13s dsl
dsl
3m 13s
generalized JoinConditionPush Test Provability #69: Commit db8a299 pushed by zengzirong
4m 35s dsl
dsl
4m 35s
generalized JoinConditionPush Test Code Generation #69: Commit db8a299 pushed by zengzirong
1m 23s dsl
dsl
1m 23s
Genearlize the Remaining Rules and Add Logic Test Provability #68: Commit a78f03f pushed by WKaiZ
3m 5s dsl
dsl
3m 5s
Genearlize the Remaining Rules and Add Logic Test Code Generation #68: Commit a78f03f pushed by WKaiZ
1m 24s dsl
dsl
1m 24s
Revert "Adding Generalized Rule" Test Code Generation #67: Commit d9fdce8 pushed by WKaiZ
1m 20s dsl
dsl
1m 20s
Revert "Adding Generalized Rule" Test Provability #67: Commit d9fdce8 pushed by WKaiZ
2m 55s dsl
dsl
2m 55s
Adding Generalized Rule Test Provability #66: Commit e7c99cf pushed by WKaiZ
19s dsl
dsl
19s
Adding Generalized Rule Test Code Generation #66: Commit e7c99cf pushed by WKaiZ
30s dsl
dsl
30s
Merge pull request #33 from qed-solver/dsl-test Test Provability #65: Commit 4e6ed82 pushed by WKaiZ
4m 25s dsl
dsl
4m 25s
Merge pull request #33 from qed-solver/dsl-test Test Code Generation #65: Commit 4e6ed82 pushed by WKaiZ
1m 23s dsl
dsl
1m 23s
Dsl test Test Code Generation #64: Pull request #33 synchronize by WKaiZ
1m 23s dsl-test
dsl-test
1m 23s
Dsl test Test Provability #64: Pull request #33 synchronize by WKaiZ
3m 24s dsl-test
dsl-test
3m 24s
Merge branch 'dsl' into dsl-test Test Provability #63: Commit 400ef9c pushed by WKaiZ
3m 16s dsl-test
dsl-test
3m 16s
Merge branch 'dsl' into dsl-test Test Code Generation #63: Commit 400ef9c pushed by WKaiZ
1m 16s dsl-test
dsl-test
1m 16s
Fix Test Provability #62: Commit 4672a3f pushed by WKaiZ
3m 16s dsl-test
dsl-test
3m 16s
Fix Test Code Generation #62: Commit 4672a3f pushed by WKaiZ
1m 14s dsl-test
dsl-test
1m 14s
Second Last Batch of Rules Test Code Generation #61: Commit a25f15a pushed by WKaiZ
19s dsl-test
dsl-test
19s