Skip to content

Actions: leanprover-community/mathlib4

Actions

.github/workflows/zulip_emoji_labelling.yaml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
zulip_emoji_labelling.yaml
2,500+ workflow runs
2,500+ 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(SemilocallySimplyConnected): definition and alternative formulation .github/workflows/zulip_emoji_labelling.yaml #53702: Pull request #31449 labeled by jcommelin
14s
14s
feat(AlgebraicTopology/SimplicialSet): the opposite of a horn .github/workflows/zulip_emoji_labelling.yaml #53701: Pull request #38063 labeled by mathlib-triage bot
1s
1s
refactor(Computability): split Halting.lean into separate files .github/workflows/zulip_emoji_labelling.yaml #53700: Pull request #38138 labeled by mathlib-triage bot
1s
1s
feat(Combinatorics/Graph): Degree .github/workflows/zulip_emoji_labelling.yaml #53699: Pull request #38326 labeled by mathlib-dependent-issues bot
Skipped
Skipped
feat: a Lie module with trivial trace form is nilpotent over the derived subalgebra .github/workflows/zulip_emoji_labelling.yaml #53698: Pull request #37622 labeled by jcommelin
12s
12s
[Merged by Bors] - chore: cleanup of adaptation notes .github/workflows/zulip_emoji_labelling.yaml #53697: Pull request #37922 labeled by mathlib-triage bot
1s
1s
refactor(Analysis): golf Mathlib/Analysis/Complex/Trigonometric .github/workflows/zulip_emoji_labelling.yaml #53696: Pull request #38274 unlabeled by yuanyi-350
17s
17s
[Merged by Bors] - chore: fix implicit-reducible diamonds in Primrec .github/workflows/zulip_emoji_labelling.yaml #53695: Pull request #38305 labeled by mathlib-triage bot
1s
1s
perf: decompress already-cached files concurrently with downloads .github/workflows/zulip_emoji_labelling.yaml #53694: Pull request #36423 unlabeled by kim-em
19s
19s
feat(CategoryTheory/Monoidal/Rigid): tensor product of exact pairings .github/workflows/zulip_emoji_labelling.yaml #53693: Pull request #32942 unlabeled by kim-em
18s
18s
chore(LinearAlgebra/Matrix): deprecate Matrix.star_mul .github/workflows/zulip_emoji_labelling.yaml #53692: Pull request #38307 labeled by mathlib-merge-conflicts bot
1s
1s
refactor(Topology/Sion): use a dense and continuous completion to generalize the statements .github/workflows/zulip_emoji_labelling.yaml #53691: Pull request #38190 labeled by mathlib-merge-conflicts bot
1s
1s
chore(LinearAlgebra/Matrix): deprecate Matrix.star_mul .github/workflows/zulip_emoji_labelling.yaml #53690: Pull request #38307 unlabeled by mathlib-triage bot
12s
12s
chore(LinearAlgebra/Matrix): deprecate Matrix.star_mul .github/workflows/zulip_emoji_labelling.yaml #53689: Pull request #38307 labeled by mathlib-triage bot
Skipped
Skipped
refactor(LocallyConvex,Topology): split WeakDual/WeakSpace and rename WeakBilin .github/workflows/zulip_emoji_labelling.yaml #53688: Pull request #37027 labeled by mathlib-merge-conflicts bot
2s
2s
chore: fix markdown list indentation .github/workflows/zulip_emoji_labelling.yaml #53687: Pull request #35281 labeled by mathlib-merge-conflicts bot
1s
1s
feat(NumberTheory/ModularForms): cusp form submodule of modular forms .github/workflows/zulip_emoji_labelling.yaml #53686: Pull request #37978 unlabeled by CBirkbeck
14s
14s
feat: warn on deprecated declarations in scripts/check-yaml .github/workflows/zulip_emoji_labelling.yaml #53685: Pull request #38313 unlabeled by mathlib-dependent-issues bot
1s
1s
feat: warn on deprecated declarations in scripts/check-yaml .github/workflows/zulip_emoji_labelling.yaml #53684: Pull request #38313 labeled by mathlib-dependent-issues bot
Skipped
Skipped
[Merged by Bors] - chore: update deprecated declarations in *.yamls .github/workflows/zulip_emoji_labelling.yaml #53683: Pull request #38312 labeled by mathlib-triage bot
1s
1s
feat(Topology): π₁(E⧸G)⧸π₁(E) ≃* G for E path connected .github/workflows/zulip_emoji_labelling.yaml #53682: Pull request #33108 labeled by mathlib-merge-conflicts bot
1s
1s
feat(EisensteinSeries/E2): q-expansion of E₂ .github/workflows/zulip_emoji_labelling.yaml #53681: Pull request #38001 labeled by mathlib-triage bot
14s
14s
feat(Valuation/IsTrivialOn): transcendental_of_lt_one .github/workflows/zulip_emoji_labelling.yaml #53680: Pull request #37512 unlabeled by xgenereux
11s
11s
feat(NumberTheory/ModularForms): cusp form submodule of modular forms .github/workflows/zulip_emoji_labelling.yaml #53679: Pull request #37978 labeled by loefflerd
13s
13s
[Merged by Bors] - chore(*): small docstring syntax fixes .github/workflows/zulip_emoji_labelling.yaml #53678: Pull request #38157 labeled by mathlib-triage bot
7s
7s