Skip to content

Actions: BOUN-MATH490/mathlib4

Actions

Post PR summary comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PR_summary.yml
47 workflow runs
47 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
feat(ModelTheory): quantifier elimination from elementary extension p… Post PR summary comment #47: Pull request #10 synchronize by erdkocak
1s
1s
feat(ModelTheory): add embedding criteria for quantifier elimination Post PR summary comment #46: Pull request #9 synchronize by erdkocak
1s
1s
feat(ModelTheory): add quantifier elimination and reduction to one qu… Post PR summary comment #45: Pull request #8 synchronize by erdkocak
7s
7s
feat(ModelTheory): dense linear orders have quantifier elimination Post PR summary comment #44: Pull request #11 synchronize by erdkocak
1s
1s
feat(ModelTheory): add elementary extension-pair properties Post PR summary comment #43: Pull request #7 synchronize by erdkocak
9s
9s
Model theory/cardinal lt generated Post PR summary comment #42: Pull request #6 synchronize by erdkocak
8s
8s
feat(ModelTheory): dense linear orders have quantifier elimination Post PR summary comment #41: Pull request #11 synchronize by erdkocak
10s
10s
feat(ModelTheory): quantifier elimination from elementary extension p… Post PR summary comment #40: Pull request #10 synchronize by erdkocak
8s
8s
feat(ModelTheory): add embedding criteria for quantifier elimination Post PR summary comment #39: Pull request #9 synchronize by erdkocak
Skipped
Skipped
feat(ModelTheory): add quantifier elimination and reduction to one qu… Post PR summary comment #38: Pull request #8 synchronize by erdkocak
1s
1s
feat(ModelTheory): add elementary extension-pair properties Post PR summary comment #37: Pull request #7 synchronize by erdkocak
1s
1s
Model theory/cardinal lt generated Post PR summary comment #36: Pull request #6 synchronize by erdkocak
8s
8s
feat(ModelTheory): dense linear orders have quantifier elimination Post PR summary comment #35: Pull request #11 synchronize by erdkocak
9s
9s
feat(ModelTheory): quantifier elimination from elementary extension p… Post PR summary comment #34: Pull request #10 synchronize by erdkocak
1s
1s
feat(ModelTheory): add quantifier elimination and reduction to one qu… Post PR summary comment #33: Pull request #8 synchronize by erdkocak
1s
1s
feat(ModelTheory): add embedding criteria for quantifier elimination Post PR summary comment #32: Pull request #9 synchronize by erdkocak
1s
1s
feat(ModelTheory): add elementary extension-pair properties Post PR summary comment #31: Pull request #7 synchronize by erdkocak
1s
1s
Model theory/cardinal lt generated Post PR summary comment #30: Pull request #6 synchronize by erdkocak
1s
1s
feat(ModelTheory): add elementary extension-pair properties Post PR summary comment #29: Pull request #7 synchronize by ykaydogdu
2s
2s
feat(ModelTheory): add quantifier elimination and reduction to one qu… Post PR summary comment #28: Pull request #8 synchronize by ykaydogdu
9s
9s
feat(ModelTheory): add embedding criteria for quantifier elimination Post PR summary comment #27: Pull request #9 synchronize by ykaydogdu
1s
1s
feat(ModelTheory): quantifier elimination from elementary extension p… Post PR summary comment #26: Pull request #10 synchronize by ykaydogdu
1s
1s
feat(ModelTheory): dense linear orders have quantifier elimination Post PR summary comment #25: Pull request #11 synchronize by ykaydogdu
1s
1s
Model theory/cardinal lt generated Post PR summary comment #24: Pull request #6 synchronize by ykaydogdu
6s
6s
Model theory/cardinal lt generated Post PR summary comment #23: Pull request #6 synchronize by erdkocak
10s
10s