Skip to content

Actions: b-mehta/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
41 workflow runs
41 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 remote-tracking branch 'upstream/master' into feat/complex-I-po… Autolabel PRs #41: Commit 96f67ef pushed by b-mehta
8s feat/complex-I-pow-mod-simproc
feat/complex-I-pow-mod-simproc
8s
address review: dedupe with #38747, golf, add sdiff and disjUnion lemmas Autolabel PRs #40: Commit cc5f324 pushed by b-mehta
10s feat/simpleGraph-neighborSet-lattice
feat/simpleGraph-neighborSet-lattice
10s
fix simp_rw after le_iff_subset deprecation Autolabel PRs #39: Commit 6ddd758 pushed by b-mehta
1s bm-finset-card-image-iterate
bm-finset-card-image-iterate
1s
feat(Analysis): strengthen bounds for sin Autolabel PRs #38: Commit 2c4abed pushed by b-mehta
12s better-sin-bounds
better-sin-bounds
12s
Merge remote-tracking branch 'upstream/master' into feat/finset-card-… Autolabel PRs #37: Commit 0d90853 pushed by b-mehta
1s feat/finset-card-product-filter-lt
feat/finset-card-product-filter-lt
1s
chore: raise priority of Grind.IntModule.OfNatModule.ofNatModule Autolabel PRs #36: Pull request #3 opened by b-mehta
1s
1s
chore(Logic/Function/Basic): avoid defeq abuse of Set α = α → Prop … Autolabel PRs #35: Commit 260979c pushed by b-mehta
2s master
master
2s
chore(SpecificGroups/Alternating/Simple): remove a convert Autolabel PRs #34: Commit 6c1fbba pushed by b-mehta
3s alternating-simple-convert
alternating-simple-convert
3s
Merge remote-tracking branch 'upstream/master' into mann Autolabel PRs #33: Commit 4353a48 pushed by b-mehta
1s mann
mann
1s
Merge upstream/master into bm-wip Autolabel PRs #32: Commit 0a61929 pushed by b-mehta
1s bm-wip-merged
bm-wip-merged
1s
Merge remote-tracking branch 'upstream/master' into infinite-prod-wit… Autolabel PRs #31: Commit 545d03c pushed by b-mehta
1s infinite-prod-with-zero
infinite-prod-with-zero
1s
start to dualise Autolabel PRs #30: Commit 40979ba pushed by b-mehta
1s liminf-antitone
liminf-antitone
1s
Merge branch 'master' into rado-selection Autolabel PRs #29: Commit 5c6c8b4 pushed by b-mehta
1s rado-selection
rado-selection
1s
Merge upstream/master into finset-prod-order-lemmas Autolabel PRs #28: Commit e51dddf pushed by b-mehta
Skipped finset-prod-order-lemmas
finset-prod-order-lemmas
Skipped
Run upstream_pr_list.py and commit output Autolabel PRs #27: Pull request #2 opened by Copilot AI
Action required
Action required
workshop_week_prs.py: filter by attendees, add comment tracking Autolabel PRs #26: Pull request #1 opened by Copilot AI
Action required
Action required
Merge remote-tracking branch 'upstream/master' into finset-ring-lemmas Autolabel PRs #25: Commit 102e764 pushed by b-mehta
1s finset-ring-lemmas
finset-ring-lemmas
1s
Merge remote-tracking branch 'upstream/master' into compact-id-iff Autolabel PRs #24: Commit c89e189 pushed by b-mehta
1s compact-id-iff
compact-id-iff
1s
feat(Finpartition): remove unnecessary DistribLattice assumptions (… Autolabel PRs #23: Commit b4292a2 pushed by b-mehta
1s master
master
1s
add ref Autolabel PRs #22: Commit 98b5b89 pushed by b-mehta
1s fredholm-alternative
fredholm-alternative
1s
wip? Autolabel PRs #21: Commit e13bedd pushed by b-mehta
2s fredholm-alternative
fredholm-alternative
2s
fixup Autolabel PRs #20: Commit 7593212 pushed by b-mehta
1s rado-selection
rado-selection
1s
chore(Algebra/Order/BigOperators): move lemmas which don't use addit… Autolabel PRs #19: Commit a73790f pushed by b-mehta
1s master
master
1s
Merge branch 'master' into finset-ring-lemmas Autolabel PRs #18: Commit e1c5114 pushed by b-mehta
Skipped finset-ring-lemmas
finset-ring-lemmas
Skipped
wip Autolabel PRs #17: Commit 5eac2b3 pushed by b-mehta
1s fredholm-alternative
fredholm-alternative
1s