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
67 workflow run results
67 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update docs-release action Label PR from status change #67: Pull request #1069 closed by fgdorais
November 29, 2024 14:42 15s fgdorais-patch-2
fgdorais-patch-2
November 29, 2024 14:42 15s
chore: update docs-release action Label PR from status change #66: Pull request #1069 opened by fgdorais
November 29, 2024 14:40 19s fgdorais-patch-2
fgdorais-patch-2
November 29, 2024 14:40 19s
chore: bump toolchain to v4.14.0-rc3 Label PR from status change #65: Pull request #1068 closed by fgdorais
November 29, 2024 13:33 18s fgdorais-patch-1
fgdorais-patch-1
November 29, 2024 13:33 18s
chore: bump toolchain to v4.14.0-rc3 Label PR from status change #64: Pull request #1068 opened by fgdorais
November 29, 2024 13:28 19s fgdorais-patch-1
fgdorais-patch-1
November 29, 2024 13:28 19s
fix: dependency syntax for a reservoir+git lakefile.toml Label PR from status change #63: Pull request #1067 closed by kim-em
November 29, 2024 07:14 14s Julian:patch-1
Julian:patch-1
November 29, 2024 07:14 14s
fix: dependency syntax for a reservoir+git lakefile.toml Label PR from status change #62: Pull request #1067 opened by Julian
November 29, 2024 04:14 18s Julian:patch-1
Julian:patch-1
November 29, 2024 04:14 18s
feat: List.dropPrefix? / dropSuffix? / dropInfix? and specification lemmas Label PR from status change #61: Pull request #1066 closed by fgdorais
November 27, 2024 11:35 14s dropInfix
dropInfix
November 27, 2024 11:35 14s
refactor: add List.finRange and Array.finRange Label PR from status change #60: Pull request #1055 closed by kim-em
November 26, 2024 06:09 17s finrange
finrange
November 26, 2024 06:09 17s
feat: add KMP frontend for lists Label PR from status change #59: Pull request #1065 closed by kim-em
November 26, 2024 01:47 18s fgdorais:kmp-list
fgdorais:kmp-list
November 26, 2024 01:47 18s
refactor: add List.finRange and Array.finRange Label PR from status change #58: Pull request #1055 ready_for_review by fgdorais
November 25, 2024 23:02 18s finrange
finrange
November 25, 2024 23:02 18s
feat: List.dropPrefix? / dropSuffix? / dropInfix? and specification lemmas Label PR from status change #57: Pull request #1066 opened by kim-em
November 25, 2024 11:48 19s dropInfix
dropInfix
November 25, 2024 11:48 19s
feat: add KMP frontend for lists Label PR from status change #56: Pull request #1065 opened by fgdorais
November 25, 2024 09:00 12s fgdorais:kmp-list
fgdorais:kmp-list
November 25, 2024 09:00 12s
feat: more vector lemmas Label PR from status change #55: Pull request #1062 closed by kim-em
November 24, 2024 23:44 16s vector_lemmas2
vector_lemmas2
November 24, 2024 23:44 16s
chore: replace Batteries.HashMap with a shim around Std.HashMap Label PR from status change #54: Pull request #1063 ready_for_review by kim-em
November 24, 2024 03:09 12s hashmap_as_shim
hashmap_as_shim
November 24, 2024 03:09 12s
chore: replace Batteries.HashMap with a shim around Std.HashMap Label PR from status change #53: Pull request #1063 opened by kim-em
November 24, 2024 02:53 1m 7s hashmap_as_shim
hashmap_as_shim
November 24, 2024 02:53 1m 7s
chore: fix two deprecations Label PR from status change #52: Pull request #1061 closed by kim-em
November 23, 2024 09:05 1m 3s fix_deprecations
fix_deprecations
November 23, 2024 09:05 1m 3s
feat: more vector lemmas Label PR from status change #51: Pull request #1062 opened by fgdorais
November 23, 2024 09:05 17s vector_lemmas2
vector_lemmas2
November 23, 2024 09:05 17s
chore: fix two deprecations Label PR from status change #50: Pull request #1061 opened by kim-em
November 23, 2024 09:02 1m 4s fix_deprecations
fix_deprecations
November 23, 2024 09:02 1m 4s
chore: test Label PR from status change #49: Pull request #1060 closed by fgdorais
November 23, 2024 00:48 1m 8s fgdorais:label-test
fgdorais:label-test
November 23, 2024 00:48 1m 8s
chore: test Label PR from status change #48: Pull request #1060 opened by fgdorais
November 23, 2024 00:46 1m 3s fgdorais:label-test
fgdorais:label-test
November 23, 2024 00:46 1m 3s
chore: fix workflow token Label PR from status change #47: Pull request #1059 closed by fgdorais
November 23, 2024 00:40 1m 8s label-fix-token
label-fix-token
November 23, 2024 00:40 1m 8s
chore: fix workflow token Label PR from status change #46: Pull request #1059 opened by fgdorais
November 23, 2024 00:37 15s label-fix-token
label-fix-token
November 23, 2024 00:37 15s
feat: add #print opaques command Label PR from status change #45: Pull request #966 ready_for_review by fgdorais
November 22, 2024 23:55 12s print-opaques
print-opaques
November 22, 2024 23:55 12s
feat: Vector.mapM Label PR from status change #44: Pull request #1026 closed by kim-em
November 22, 2024 02:40 15s vector_monadic
vector_monadic
November 22, 2024 02:40 15s
fix: Readme.md needs "git" token in lakefile.lean Label PR from status change #43: Pull request #1056 closed by fgdorais
November 21, 2024 12:33 12s JaredCorduan:fix-requires-command-in-readme
JaredCorduan:fix-requires-command-in-readme
November 21, 2024 12:33 12s