Autolabel PRs · Workflow runs · jjdishere/mathlib4 · GitHub

Actions

All workflows
Workflows
- .github/workflows/build_template.yml .github/workflows/build_template.yml
- Autolabel PRs Autolabel PRs
- Bors merge/delegate follow-up Bors merge/delegate follow-up
- Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run)
- bot fix style bot fix style
- Bump toolchain Bump toolchain
- cache tests cache tests
- Check PR titles Check PR titles
- ci dev ci dev
- Commit Verification Commit Verification
Management
- Caches

Autolabel PRs

Actions

Loading...
Loading

add_label_from_diff.yaml

32 workflow runs

32 workflow runs

Merge branch 'master' into jiedong_jiang_normed_valued Autolabel PRs #42: Commit fb6f929 pushed by jjdishere

1s jiedong_jiang_normed_valued

jiedong_jiang_normed_valued

1s

chore(RingTheory): adapt Perfectoid field draft to current master (revival) Autolabel PRs #41: Pull request #20 opened by sfingali

9s

9s

Merge branch 'master' into jiedong_jiang_refactor_valuative_2_intro_m… Autolabel PRs #40: Commit 8395c78 pushed by jjdishere

9s jiedong_jiang_refactor_valuative_2_intro_methods

jiedong_jiang_refactor_valuative_2_intro_methods

9s

feat(Analysis/InnerProductSpace): generalized determinant of a rectan… Autolabel PRs #39: Commit ae588ec pushed by jjdishere

1s master

master

1s

Merge branch 'master' into jiedong_jiang_refactor_valuative_2_intro_m… Autolabel PRs #38: Commit 2851fca pushed by jjdishere

2s jiedong_jiang_refactor_valuative_2_intro_methods

jiedong_jiang_refactor_valuative_2_intro_methods

2s

Merge branch 'jiedong_jiang_value_group0_on_merge12' into jiedong_jia… Autolabel PRs #37: Commit 2a51117 pushed by jjdishere

1s jiedong_jiang_refactor_valuative_2_intro_methods

jiedong_jiang_refactor_valuative_2_intro_methods

1s

Merge branch 'master' into jiedong_jiang_value_group0_on_merge12 Autolabel PRs #36: Commit cef2a32 pushed by jjdishere

2s jiedong_jiang_value_group0_on_merge12

jiedong_jiang_value_group0_on_merge12

2s

chore: use to_fun to auto-generated eta-expanded versions of comp… Autolabel PRs #35: Commit c87658a pushed by jjdishere

2s master

master

2s

Merge branch 'jiedong_jiang_value_group0_on_merge12' into jiedong_jia… Autolabel PRs #34: Commit 5dcc880 pushed by jjdishere

1s jiedong_jiang_refactor_valuative_2_intro_methods

jiedong_jiang_refactor_valuative_2_intro_methods

1s

Merge branch 'master' into jiedong_jiang_value_group0_on_merge12 Autolabel PRs #33: Commit 4687b01 pushed by jjdishere

1s jiedong_jiang_value_group0_on_merge12

jiedong_jiang_value_group0_on_merge12

1s

feat(Valuation/ValuativeRel): generalize ValuativeRel to non-commut… Autolabel PRs #32: Commit c94dd59 pushed by jjdishere

1s master

master

1s

Merge branch 'jiedong_jiang_refactor_valuative_rel' into jiedong_jian… Autolabel PRs #31: Commit 3fc4810 pushed by jjdishere

2s jiedong_jiang_value_group0_on_merge12

jiedong_jiang_value_group0_on_merge12

2s

Merge branch 'master' into jiedong_jiang_refactor_valuative_2_intro_m… Autolabel PRs #30: Commit 53fc0bd pushed by jjdishere

2s jiedong_jiang_refactor_valuative_2_intro_methods

jiedong_jiang_refactor_valuative_2_intro_methods

2s

Merge branch 'master' into jiedong_jiang_refactor_valuative_rel Autolabel PRs #29: Commit 6f8cf68 pushed by jjdishere

1s jiedong_jiang_refactor_valuative_rel

jiedong_jiang_refactor_valuative_rel

1s

feat(GroupTheory/Nilpotent): a nontrivial nilpotent group has a nontr… Autolabel PRs #28: Commit 1cfb349 pushed by jjdishere

1s master

master

1s

feat(Order/ConditionallyCompleteLattice): sInf s ≤ sSup t for `(s ∩… Autolabel PRs #27: Commit 6682a4e pushed by jjdishere

1s master

master

1s

Merge branch 'master' into jiedong_jiang_is_krasner_1 Autolabel PRs #26: Commit 7bc8641 pushed by jjdishere

1s jiedong_jiang_is_krasner_1

jiedong_jiang_is_krasner_1

1s

chore: mark Submodule.toAddSubgroup @[reducible] (#35761) Autolabel PRs #25: Commit 02398f3 pushed by jjdishere

1s master

master

1s

Merge remote-tracking branch 'upstream/master' into jiedong_jiang_the… Autolabel PRs #24: Commit 2509914 pushed by jjdishere

2s jiedong_jiang_theta_surjective

jiedong_jiang_theta_surjective

2s

Merge remote-tracking branch 'upstream/master' into jiedong_jiang_per… Autolabel PRs #23: Commit 0f3c1a7 pushed by jjdishere

Skipped jiedong_jiang_perfectoid

jiedong_jiang_perfectoid

Skipped

Merge remote-tracking branch 'upstream/master' into jiedong_jiang_is_… Autolabel PRs #22: Commit 8e32146 pushed by jjdishere

1s jiedong_jiang_is_krasner_1

jiedong_jiang_is_krasner_1

1s

Merge remote-tracking branch 'upstream/master' into jiedong_jiang_fro… Autolabel PRs #21: Commit 11bea6c pushed by jjdishere

1s jiedong_jiang_frobenius_lemma

jiedong_jiang_frobenius_lemma

1s

Merge branch 'jiedong_jiang_fontaine_theta' into jiedong_jiang_theta_… Autolabel PRs #20: Commit 969d5b4 pushed by jjdishere

1s jiedong_jiang_theta_surjective

jiedong_jiang_theta_surjective

1s

Merge branch 'jiedong_jiang_is_adic_complete_4' into jiedong_jiang_fo… Autolabel PRs #19: Commit ddb7c85 pushed by jjdishere

1s jiedong_jiang_fontaine_theta

jiedong_jiang_fontaine_theta

1s

Merge branch 'master' into jiedong_jiang_is_adic_complete Autolabel PRs #18: Commit 441bd57 pushed by jjdishere

1s jiedong_jiang_is_adic_complete

jiedong_jiang_is_adic_complete

1s