Skip to content

Actions: qed-solver/rulescript

Actions

Test Provability

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
prover-test.yml
14 workflow runs
14 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
adjust naming Test Provability #14: Commit b01eb7e pushed by WKaiZ
3m 53s calcite-rule-audit-wip
calcite-rule-audit-wip
3m 53s
Update readme Test Provability #13: Commit c5da8be pushed by Sicheng-Pan
2m 49s development
development
2m 49s
Reorganize repo: Rust at root, Java DSL under java/ Test Provability #12: Commit d7c7b6b pushed by Sicheng-Pan
2m 52s development
development
2m 52s
Update paper link in README.md Test Provability #11: Commit c35bce4 pushed by akcheung
3m 52s development
development
3m 52s
Update README.md Test Provability #10: Commit 6591cd8 pushed by WKaiZ
2m 51s development
development
2m 51s
Update READMEs Test Provability #9: Commit 16128c4 pushed by WKaiZ
3m 4s development
development
3m 4s
Adding additional instructions Test Provability #8: Commit 012584b pushed by WKaiZ
2m 59s development
development
2m 59s
Update README.md Test Provability #7: Commit d95e2a2 pushed by WKaiZ
4m 28s development
development
4m 28s
Merge pull request #1 from qed-solver/java-dsl Test Provability #6: Commit 42ccadc pushed by WKaiZ
3m 6s development
development
3m 6s
Merging the parser/dsl branch with this repo. Test Provability #5: Pull request #1 opened by WKaiZ
3m 7s java-dsl
java-dsl
3m 7s
Adjusting readmes Test Provability #4: Commit 8e0990c pushed by WKaiZ
3m 2s java-dsl
java-dsl
3m 2s
Edit scripts Test Provability #3: Commit b770664 pushed by WKaiZ
2m 51s java-dsl
java-dsl
2m 51s
Create ProjectPaths.java Test Provability #2: Commit 64b5f60 pushed by WKaiZ
3m 0s java-dsl
java-dsl
3m 0s
Adding workflows back Test Provability #1: Commit 1284b73 pushed by WKaiZ
26s java-dsl
java-dsl
26s