Skip to content

Actions: CoolRmal/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
79 workflow runs
79 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(MeasureTheory): add sigma-finite strong measurability Autolabel PRs #81: Commit 6228795 pushed by CoolRmal
1s kupka-measurability-lusin-integration
kupka-measurability-lusin-integration
1s
Merge branch 'master' into characteristictrans Autolabel PRs #80: Commit 93fcc7d pushed by CoolRmal
1s characteristictrans
characteristictrans
1s
doc(CategoryTheory): qualify Pairwise in docstrings Autolabel PRs #79: Commit 56f227a pushed by CoolRmal
Skipped codex/categorytheory-pairwise-docstring
codex/categorytheory-pairwise-docstring
Skipped
Merge branch 'master' into todo Autolabel PRs #78: Commit 7fb8791 pushed by CoolRmal
9s todo
todo
9s
Merge branch 'master' into monotone-tendsto-orderclosed Autolabel PRs #77: Commit b7f88c6 pushed by CoolRmal
1s monotone-tendsto-orderclosed
monotone-tendsto-orderclosed
1s
[codex] Add finset supremum and infimum convergence lemmas Autolabel PRs #76: Pull request #8 opened by CoolRmal
1s
1s
Merge branch 'leanprover-community:master' into main Autolabel PRs #75: Commit 652db3e pushed by CoolRmal
1s main
main
1s
Merge branch 'master' into HB Autolabel PRs #74: Commit 6b2270a pushed by CoolRmal
1s HB
HB
1s
Merge branch 'master' into BddAboveRangeOfComp Autolabel PRs #73: Commit b06568c pushed by CoolRmal
1s BddAboveRangeOfComp
BddAboveRangeOfComp
1s
Merge branch 'master' into todo Autolabel PRs #72: Commit 407e2b2 pushed by CoolRmal
11s todo
todo
11s
Merge branch 'leanprover-community:master' into freeprob Autolabel PRs #71: Commit 324d792 pushed by CoolRmal
2s freeprob
freeprob
2s
Merge branch 'leanprover-community:master' into inference Autolabel PRs #70: Commit c071c49 pushed by CoolRmal
2s inference
inference
2s
Add monotone-of-tendsto lemmas and OrderDual SupConvergenceClass instance Autolabel PRs #69: Pull request #7 opened by CoolRmal
1s
1s
Merge branch 'leanprover-community:master' into monotonelimit Autolabel PRs #68: Commit ac52e07 pushed by CoolRmal
1s monotonelimit
monotonelimit
1s
Add monotone_of_tendsto and monotone_of_tendsto_of_eventually lemmas Autolabel PRs #67: Pull request #6 opened by CoolRmal
2s
2s
Merge branch 'leanprover-community:master' into iUnionSymmDiff Autolabel PRs #66: Commit 8f4225d pushed by CoolRmal
1s iUnionSymmDiff
iUnionSymmDiff
1s
Merge branch 'master' into sequential Autolabel PRs #65: Commit fc39f54 pushed by CoolRmal
8s sequential
sequential
8s
Merge branch 'master' into perfectlynormal Autolabel PRs #64: Commit 2d5b6bc pushed by CoolRmal
1s perfectlynormal
perfectlynormal
1s
Merge branch 'leanprover-community:master' into HB Autolabel PRs #63: Commit 3cb4b29 pushed by CoolRmal
1s HB
HB
1s
feat(AlgebraicTopology): transport a model category structure by an e… Autolabel PRs #62: Commit 7948ce3 pushed by CoolRmal
1s VectorMeasureIntegral
VectorMeasureIntegral
1s
Merge branch 'leanprover-community:master' into characteristictrans Autolabel PRs #61: Commit 1823901 pushed by CoolRmal
1s characteristictrans
characteristictrans
1s
Merge branch 'master' into todo Autolabel PRs #60: Commit 1322ebf pushed by CoolRmal
1s todo
todo
1s
Merge branch 'master' into todo Autolabel PRs #59: Commit 6ad920f pushed by CoolRmal
1s todo
todo
1s
Merge branch 'master' into liminfmulconst Autolabel PRs #58: Commit 33b5d3e pushed by CoolRmal
2s liminfmulconst
liminfmulconst
2s
feat: add closed and compact corollaries of Lusin's theorem Autolabel PRs #57: Pull request #5 opened by mike1729
1s
1s