Skip to content

Actions: NoneMore/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
17 workflow runs
17 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
Merge branch 'master' into definablity-of-syntax Autolabel PRs #17: Commit b53fce3 pushed by NoneMore
1s definablity-of-syntax
definablity-of-syntax
1s
Merge branch 'master' into partial-type Autolabel PRs #16: Commit c32f094 pushed by NoneMore
1s partial-type
partial-type
1s
Merge branch 'master' into partial-type Autolabel PRs #15: Commit ff19e61 pushed by NoneMore
9s partial-type
partial-type
9s
Merge branch 'master' into cb-analysis Autolabel PRs #14: Commit 0647789 pushed by NoneMore
2s cb-analysis
cb-analysis
2s
Merge branch 'master' into ec-formula Autolabel PRs #13: Commit d5a1d84 pushed by NoneMore
2s ec-formula
ec-formula
2s
Merge branch 'master' into derived-set Autolabel PRs #12: Commit a707074 pushed by NoneMore
1s derived-set
derived-set
1s
Merge branch 'master' into ec-formula Autolabel PRs #11: Commit ade1220 pushed by NoneMore
2s ec-formula
ec-formula
2s
chore: sync private docs Autolabel PRs #10: Commit 6ed25b3 pushed by NoneMore
1s private-docs
private-docs
1s
Merge branch 'master' into TVvariant Autolabel PRs #9: Commit 947398f pushed by NoneMore
2s TVvariant
TVvariant
2s
Merge branch 'master' into definablity Autolabel PRs #8: Commit 8439573 pushed by NoneMore
1s definablity
definablity
1s
Merge branch 'master' into embedLift Autolabel PRs #7: Commit 839aa93 pushed by NoneMore
1s embedLift
embedLift
1s
Merge branch 'master' into embedLift Autolabel PRs #6: Commit 6811884 pushed by NoneMore
1s embedLift
embedLift
1s
Merge remote-tracking branch 'upstream/master' into definablity Autolabel PRs #5: Commit 8171e35 pushed by NoneMore
1s definablity
definablity
1s
feat: add liftWithConstants and withConstantsStructure for embedd… Autolabel PRs #4: Commit d9aebee pushed by NoneMore
1s embedLift
embedLift
1s
feat: add Stone duality theorem for clopen sets in complete types Autolabel PRs #3: Commit f4704b9 pushed by NoneMore
1s OTT
OTT
1s
doc(LinearAlgebra): fix typos (#32663) Autolabel PRs #2: Commit 433c171 pushed by NoneMore
1s master
master
1s
chore: remove use of erw in CategoryTheory.Limits.VanKampen (#31486) Autolabel PRs #1: Commit e721e52 pushed by NoneMore
1s master
master
1s