Skip to content

Actions: leanprover/lean4

Actions

Label PR based on Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
labels-from-comments.yml
6,954 workflow run results
6,954 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: BitVec.(not_sshiftRight, not_sshiftRight_not, getMsb_not, msb_not) Label PR based on Comment #6933: Issue comment #5492 (comment) created by leanprover-community-bot
September 27, 2024 09:39 2s
September 27, 2024 09:39 2s
feat: add BitVec.toNat_[abs|sdiv|smod] Label PR based on Comment #6932: Issue comment #5491 (comment) created by leanprover-community-bot
September 27, 2024 09:39 2s
September 27, 2024 09:39 2s
trouble installing lean4 from source on Linux Label PR based on Comment #6931: Issue comment #3068 (comment) created by Kha
September 27, 2024 09:38 2s
September 27, 2024 09:38 2s
feat: BitVec.(not_sshiftRight, not_sshiftRight_not, getMsb_not, msb_not) Label PR based on Comment #6930: Issue comment #5492 (comment) created by leanprover-community-bot
September 27, 2024 09:27 2s
September 27, 2024 09:27 2s
feat: add BitVec.toNat_[abs|sdiv|smod] Label PR based on Comment #6929: Issue comment #5491 (comment) created by tobiasgrosser
September 27, 2024 09:22 2s
September 27, 2024 09:22 2s
feat: BitVec.(not_sshiftRight, not_sshiftRight_not, getMsb_not, msb_not) Label PR based on Comment #6928: Issue comment #5492 (comment) created by luisacicolini
September 27, 2024 09:11 2s
September 27, 2024 09:11 2s
Link errors on MacOS (and Windows?) because of case insensitive filesystem Label PR based on Comment #6927: Issue comment #2129 (comment) created by Kha
September 27, 2024 08:52 2s
September 27, 2024 08:52 2s
Link errors on MacOS (and Windows?) because of case insensitive filesystem Label PR based on Comment #6926: Issue comment #2129 (comment) created by Kha
September 27, 2024 08:49 3s
September 27, 2024 08:49 3s
Compilation with MonadLog for a StateT is surprisingly slow Label PR based on Comment #6925: Issue comment #5457 (comment) created by Kha
September 27, 2024 08:37 2s
September 27, 2024 08:37 2s
Compilation with MonadLog for a StateT is surprisingly slow Label PR based on Comment #6924: Issue comment #5457 (comment) created by Kha
September 27, 2024 08:30 2s
September 27, 2024 08:30 2s
feat: add BitVec.toNat_[abs|sdiv|smod] Label PR based on Comment #6923: Issue comment #5491 (comment) created by leanprover-community-bot
September 27, 2024 08:27 2s
September 27, 2024 08:27 2s
The conversion of Float to UInt64 doesn't behave as described in the documentation. Label PR based on Comment #6922: Issue comment #5483 (comment) created by Kha
September 27, 2024 08:25 1s
September 27, 2024 08:25 1s
feat: BitVec.(not_sshiftRight, not_sshiftRight_not, getMsb_not, msb_not) Label PR based on Comment #6921: Issue comment #5492 (comment) created by leanprover-community-bot
September 27, 2024 08:19 1s
September 27, 2024 08:19 1s
chore: commit lake-manifest.json when updating lean-pr-testing branches Label PR based on Comment #6920: Issue comment #5489 (comment) created by leanprover-community-bot
September 27, 2024 07:54 2s
September 27, 2024 07:54 2s
chore: use separate secrets for commenting and branching in pr-release.yml Label PR based on Comment #6919: Issue comment #5490 (comment) created by leanprover-community-mathlib4-bot
September 27, 2024 07:34 2s
September 27, 2024 07:34 2s
feat: add sdiv_eq, smod_eq to allow sdiv/smod bitblasting Label PR based on Comment #6918: Issue comment #5487 (comment) created by leanprover-community-mathlib4-bot
September 27, 2024 04:48 2s
September 27, 2024 04:48 2s
feat: add DecidableRel instances for BitVec Label PR based on Comment #6917: Issue comment #5488 (comment) created by bollu
September 27, 2024 04:41 2s
September 27, 2024 04:41 2s
feat: lake: Reservoir build cache Label PR based on Comment #6916: Issue comment #5486 (comment) created by leanprover-community-bot
September 27, 2024 04:34 1s
September 27, 2024 04:34 1s
chore: reverse simp direction for toArray_concat Label PR based on Comment #6915: Issue comment #5485 (comment) created by leanprover-community-mathlib4-bot
September 27, 2024 01:25 2s
September 27, 2024 01:25 2s
fix: handling BitVec.ofNat with Nat fvars in bv_decide Label PR based on Comment #6914: Issue comment #5484 (comment) created by leanprover-community-mathlib4-bot
September 26, 2024 21:42 2s
September 26, 2024 21:42 2s
feat: add udiv/umod bitblasting for bv_decide Label PR based on Comment #6913: Issue comment #5281 (comment) created by bollu
September 26, 2024 21:27 2s
September 26, 2024 21:27 2s
fix: handling BitVec.ofNat with Nat fvars in bv_decide Label PR based on Comment #6912: Issue comment #5484 (comment) created by bollu
September 26, 2024 21:23 2s
September 26, 2024 21:23 2s
chore: CI: build 64-bit platforms consistently with GMP Label PR based on Comment #6911: Issue comment #5144 (comment) created by digama0
September 26, 2024 20:11 2s
September 26, 2024 20:11 2s
Floats aren't hashable Label PR based on Comment #6910: Issue comment #3650 (comment) created by TomasPuverle
September 26, 2024 19:28 3s
September 26, 2024 19:28 3s
chore: remove mention of Lean.withSeconds Label PR based on Comment #6909: Issue comment #5481 (comment) created by leanprover-community-mathlib4-bot
September 26, 2024 18:19 3s
September 26, 2024 18:19 3s