Skip to content

Actions: qed-solver/parser

Actions

Test Code Generation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding Prune Rules and Updating pom.xml Test Code Generation #27: Pull request #19 opened by WKaiZ
18s dsl
dsl
18s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Code Generation #26: Pull request #18 synchronize by WKaiZ
59s dsl
dsl
59s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Code Generation #25: Pull request #18 synchronize by WKaiZ
1m 0s dsl
dsl
1m 0s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Code Generation #24: Pull request #18 synchronize by WKaiZ
1m 6s dsl
dsl
1m 6s
Adding Prune Rules and Its Tests; Aggregate Passes QED Prover Test Code Generation #23: Pull request #18 opened by WKaiZ
1m 0s dsl
dsl
1m 0s
Fixed JoinCommute (#17) Test Code Generation #22: Commit 3844e90 pushed by joyemang33
59s dsl
dsl
59s
Fixed JoinCommute Test Code Generation #21: Pull request #17 opened by zengzirong
55s zengzirong:zzr
zengzirong:zzr
55s
added minus operator and generated code for MinusMerge (#16) Test Code Generation #20: Commit 3837421 pushed by joyemang33
56s dsl
dsl
56s
added minus operator and generated code for MinusMerge Test Code Generation #19: Pull request #16 synchronize by yushinliang
58s yushinliang:dsl
yushinliang:dsl
58s
added minus operator and generated code for MinusMerge Test Code Generation #18: Pull request #16 synchronize by yushinliang
1m 5s yushinliang:dsl
yushinliang:dsl
1m 5s
added minus operator and generated code for MinusMerge Test Code Generation #17: Pull request #16 synchronize by yushinliang
58s yushinliang:dsl
yushinliang:dsl
58s
Merge pull request #15 from WKaiZ/dsl Test Code Generation #16: Commit 67c5536 pushed by WKaiZ
1m 30s dsl
dsl
1m 30s
[Testing] Adding Prune Rules Test Code Generation #15: Pull request #15 synchronize by WKaiZ
56s dsl
dsl
56s
[Testing] Adding Prune Rules Test Code Generation #14: Pull request #15 synchronize by WKaiZ
1m 1s dsl
dsl
1m 1s
[Testing] Adding Prune Rules Test Code Generation #13: Pull request #15 synchronize by WKaiZ
56s dsl
dsl
56s
[Testing] Adding Prune Rules Test Code Generation #12: Pull request #15 synchronize by WKaiZ
1m 1s dsl
dsl
1m 1s
[Testing] Adding Prune Rules Test Code Generation #11: Pull request #15 opened by WKaiZ
59s dsl
dsl
59s
[TESTING] Adjustment to SemiJoinJoinTranspose and SemiJoinProjectTranspose Test Code Generation #10: Pull request #14 synchronize by WKaiZ
1m 1s dsl
dsl
1m 1s
[TESTING] Adjustment to SemiJoinJoinTranspose and SemiJoinProjectTranspose Test Code Generation #9: Pull request #14 synchronize by WKaiZ
1m 0s dsl
dsl
1m 0s
[TESTING] Adjustment to SemiJoinJoinTranspose and SemiJoinProjectTranspose Test Code Generation #8: Pull request #14 synchronize by WKaiZ
57s dsl
dsl
57s
[TESTING] Adjustment to SemiJoinJoinTranspose and SemiJoinProjectTranspose Test Code Generation #7: Pull request #14 synchronize by WKaiZ
1m 0s dsl
dsl
1m 0s
[TESTING] Adjustment to SemiJoinJoinTranspose and SemiJoinProjectTranspose Test Code Generation #6: Pull request #14 synchronize by WKaiZ
57s dsl
dsl
57s
[TESTING] Adjustment to SemiJoinJoinTranspose and SemiJoinProjectTranspose Test Code Generation #5: Pull request #14 synchronize by WKaiZ
58s dsl
dsl
58s
[TESTING] Adjustment to SemiJoinJoinTranspose and SemiJoinProjectTranspose Test Code Generation #4: Pull request #14 opened by WKaiZ
52s dsl
dsl
52s
CI Testing Test Code Generation #3: Commit e8c7847 pushed by joyemang33
57s dsl
dsl
57s