Skip to content

Actions: leanprover-community/batteries

Actions

Label PR from status change

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
labels-from-status.yml
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: remove >6 month old deprecations Label PR from status change #24: Pull request #1044 opened by kim-em
November 13, 2024 05:56 12s rm_deprecations_to_2024-04
rm_deprecations_to_2024-04
November 13, 2024 05:56 12s
chore: remove duplicate NameMap forIn instance Label PR from status change #23: Pull request #1043 closed by kim-em
November 13, 2024 05:48 13s NameMap_forIn
NameMap_forIn
November 13, 2024 05:48 13s
chore: remove duplicate NameMap forIn instance Label PR from status change #22: Pull request #1043 opened by kim-em
November 13, 2024 05:35 20s NameMap_forIn
NameMap_forIn
November 13, 2024 05:35 20s
chore: remove unnecessary import in Batteries.Lean.LawfulMonad Label PR from status change #21: Pull request #1042 closed by kim-em
November 13, 2024 05:33 13s lawfulmonad_imports
lawfulmonad_imports
November 13, 2024 05:33 13s
chore: remove unnecessary import in Batteries.Lean.LawfulMonad Label PR from status change #20: Pull request #1042 opened by kim-em
November 13, 2024 05:31 17s lawfulmonad_imports
lawfulmonad_imports
November 13, 2024 05:31 17s
feat: sugar for SatisfiesM Label PR from status change #19: Pull request #1029 closed by digama0
November 13, 2024 00:25 38s satisfying
satisfying
November 13, 2024 00:25 38s
chore: cleanup proof of satisfiesM_foldlM Label PR from status change #18: Pull request #1039 closed by kim-em
November 13, 2024 00:04 14s satisfiesM_foldlM
satisfiesM_foldlM
November 13, 2024 00:04 14s
chore: cleanup proof of satisfiesM_foldlM Label PR from status change #17: Pull request #1039 opened by kim-em
November 13, 2024 00:02 15s satisfiesM_foldlM
satisfiesM_foldlM
November 13, 2024 00:02 15s
feat: List.SatisfiesM_foldlM Label PR from status change #16: Pull request #1034 closed by fgdorais
November 12, 2024 23:16 20s List.SatisfiesM_foldlM
List.SatisfiesM_foldlM
November 12, 2024 23:16 20s
feat: generate docs from subdirectory Label PR from status change #15: Pull request #1028 closed by fgdorais
November 12, 2024 23:15 17s batteries-docs
batteries-docs
November 12, 2024 23:15 17s
chore: robustify some String proofs Label PR from status change #14: Pull request #1038 closed by kim-em
November 12, 2024 10:25 18s string_lemma_robustify
string_lemma_robustify
November 12, 2024 10:25 18s
chore(Data/Rat): move Float functions to separate file Label PR from status change #13: Pull request #1035 closed by kim-em
November 12, 2024 03:20 15s jcommelin:main
jcommelin:main
November 12, 2024 03:20 15s
perf: inline the Decidable (Coprime _ _) instance Label PR from status change #12: Pull request #1036 closed by kim-em
November 12, 2024 03:01 15s eric-wieser/inline-gcd
eric-wieser/inline-gcd
November 12, 2024 03:01 15s
chore: robustify some String proofs Label PR from status change #11: Pull request #1038 opened by kim-em
November 12, 2024 01:57 12s string_lemma_robustify
string_lemma_robustify
November 12, 2024 01:57 12s
fix: add missing initHeartbeats Label PR from status change #10: Pull request #1037 opened by eric-wieser
November 11, 2024 17:53 17s eric-wieser/initHeartbeats
eric-wieser/initHeartbeats
November 11, 2024 17:53 17s
perf: inline the Decidable (Coprime _ _) instance Label PR from status change #9: Pull request #1036 opened by eric-wieser
November 11, 2024 17:37 14s eric-wieser/inline-gcd
eric-wieser/inline-gcd
November 11, 2024 17:37 14s
chore(Data/Rat): move Float functions to separate file Label PR from status change #8: Pull request #1035 opened by jcommelin
November 11, 2024 13:14 13s jcommelin:main
jcommelin:main
November 11, 2024 13:14 13s
refactor: implement BinaryHeap using Vector Label PR from status change #7: Pull request #850 closed by fgdorais
November 11, 2024 08:16 13s fgdorais:update-binaryheap
fgdorais:update-binaryheap
November 11, 2024 08:16 13s
feat: Vector.mapM Label PR from status change #6: Pull request #1026 ready_for_review by kim-em
November 11, 2024 02:36 12s vector_monadic
vector_monadic
November 11, 2024 02:36 12s
feat: List.SatisfiesM_foldlM Label PR from status change #5: Pull request #1034 ready_for_review by kim-em
November 11, 2024 02:30 13s List.SatisfiesM_foldlM
List.SatisfiesM_foldlM
November 11, 2024 02:30 13s
feat: List.SatisfiesM_foldlM Label PR from status change #4: Pull request #1034 opened by kim-em
November 11, 2024 02:11 18s List.SatisfiesM_foldlM
List.SatisfiesM_foldlM
November 11, 2024 02:11 18s
feat: detect default target on runLinter Label PR from status change #3: Pull request #811 closed by kim-em
November 11, 2024 00:36 18s austinletson:runLinter-default-module-detection
austinletson:runLinter-default-module-detection
November 11, 2024 00:36 18s
chore: add unlabeled PR workflow Label PR from status change #2: Pull request #1033 closed by kim-em
November 10, 2024 23:47 14s github-label-from-status
github-label-from-status
November 10, 2024 23:47 14s
chore: add unlabeled PR workflow Label PR from status change #1: Pull request #1033 opened by fgdorais
November 10, 2024 20:58 15s github-label-from-status
github-label-from-status
November 10, 2024 20:58 15s