Skip to content

Actions: qed-solver/parser

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Second Last Batch of Rules Test Provability #61: Commit a25f15a pushed by WKaiZ
16s dsl-test
dsl-test
16s
Correction Test Code Generation #60: Commit 83bf35e pushed by WKaiZ
1m 29s dsl
dsl
1m 29s
Correction Test Provability #60: Commit 83bf35e pushed by WKaiZ
3m 42s dsl
dsl
3m 42s
Fixing Test Provability #59: Commit 3e16ff1 pushed by WKaiZ
3m 15s dsl-test
dsl-test
3m 15s
Fixing Test Code Generation #59: Commit 3e16ff1 pushed by WKaiZ
1m 36s dsl-test
dsl-test
1m 36s
Merge pull request #31 from qed-solver/dsl-test Test Provability #58: Commit 349dfdb pushed by WKaiZ
3m 18s dsl
dsl
3m 18s
Merge pull request #31 from qed-solver/dsl-test Test Code Generation #58: Commit 349dfdb pushed by WKaiZ
1m 51s dsl
dsl
1m 51s
Refactor Code, Add CockroachDB Tester and Generator Test Code Generation #57: Pull request #31 synchronize by WKaiZ
1m 48s dsl-test
dsl-test
1m 48s
Refactor Code, Add CockroachDB Tester and Generator Test Provability #57: Pull request #31 synchronize by WKaiZ
5m 1s dsl-test
dsl-test
5m 1s
Fixing Test Code Generation #56: Commit 3e16ff1 pushed by WKaiZ
1m 53s dsl-test
dsl-test
1m 53s
Fixing Test Provability #56: Commit 3e16ff1 pushed by WKaiZ
4m 48s dsl-test
dsl-test
4m 48s
Refactor Code, Add CockroachDB Tester and Generator Test Code Generation #55: Pull request #31 synchronize by WKaiZ
30s dsl-test
dsl-test
30s
Refactor Code, Add CockroachDB Tester and Generator Test Provability #55: Pull request #31 synchronize by WKaiZ
27s dsl-test
dsl-test
27s
Adding More Working Rules with the Updated Code Generator Test Provability #54: Commit fe79dae pushed by WKaiZ
36s dsl-test
dsl-test
36s
Adding More Working Rules with the Updated Code Generator Test Code Generation #54: Commit fe79dae pushed by WKaiZ
27s dsl-test
dsl-test
27s
Refactor Code, Add CockroachDB Tester and Generator Test Provability #53: Pull request #31 synchronize by WKaiZ
4m 13s dsl-test
dsl-test
4m 13s
Refactor Code, Add CockroachDB Tester and Generator Test Code Generation #53: Pull request #31 synchronize by WKaiZ
1m 33s dsl-test
dsl-test
1m 33s