Skip to content

Actions: jjdishere/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
26 workflow runs
26 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(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
feat(RingTheory): IsAdicComplete I R ↔ CompleteSpace R ∧ T2Space R … Autolabel PRs #17: Commit c6541c0 pushed by jjdishere
1s master
master
1s
Merge branch 'master' into jiedong_jiang_frobenius_lemma Autolabel PRs #16: Commit 4f3e7cc pushed by jjdishere
1s jiedong_jiang_frobenius_lemma
jiedong_jiang_frobenius_lemma
1s
Merge branch 'master' into jiedong_jiang_teichmuller_series Autolabel PRs #15: Commit c9fc9e2 pushed by jjdishere
2s jiedong_jiang_teichmuller_series
jiedong_jiang_teichmuller_series
2s
merge Autolabel PRs #14: Commit b075d2b pushed by jjdishere
1s jiedong_jiang_is_adic_complete
jiedong_jiang_is_adic_complete
1s
chore(NumberTheory): golf inftyValuation.polynomial (#30979) Autolabel PRs #13: Commit c55dac5 pushed by jjdishere
1s master
master
1s
Merge branch 'master' into jiedong_jiang_is_adic_complete Autolabel PRs #12: Commit 1e0c361 pushed by jjdishere
1s jiedong_jiang_is_adic_complete
jiedong_jiang_is_adic_complete
1s
feat(Algebra): principal ideal finite product rings (#27900) Autolabel PRs #11: Commit 206c7bb pushed by jjdishere
1s master
master
1s
Merge branch 'master' into jiedong_jiang_is_krasner_1 Autolabel PRs #10: Commit 1261f02 pushed by jjdishere
1s jiedong_jiang_is_krasner_1
jiedong_jiang_is_krasner_1
1s
Merge branch 'master' into jiedong_jiang_perfectoid Autolabel PRs #9: Commit f33bb26 pushed by jjdishere
1s jiedong_jiang_perfectoid
jiedong_jiang_perfectoid
1s
Merge branch 'master' into jiedong_jiang_fontaine_theta Autolabel PRs #8: Commit 6505444 pushed by jjdishere
1s jiedong_jiang_fontaine_theta
jiedong_jiang_fontaine_theta
1s
Merge branch 'master' into jiedong_jiang_teichmuller_series Autolabel PRs #7: Commit 47e814a pushed by jjdishere
1s jiedong_jiang_teichmuller_series
jiedong_jiang_teichmuller_series
1s
Merge branch 'master' into jiedong_jiang_frobenius_lemma Autolabel PRs #6: Commit 48c886a pushed by jjdishere
Skipped jiedong_jiang_frobenius_lemma
jiedong_jiang_frobenius_lemma
Skipped
Merge branch 'master' into jiedong_jiang_integral_perfectoid Autolabel PRs #5: Commit 75d288c pushed by jjdishere
10s jiedong_jiang_integral_perfectoid
jiedong_jiang_integral_perfectoid
10s
Merge branch 'master' into jiedong_jiang_theta_surjective Autolabel PRs #4: Commit 6dca1e1 pushed by jjdishere
1s jiedong_jiang_theta_surjective
jiedong_jiang_theta_surjective
1s
feat: lemmas about IsRegular (#25886) Autolabel PRs #3: Commit d96c88d pushed by jjdishere
1s master
master
1s