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

Proving length of large array by rfl hangs Label PR based on Comment #6958: Issue comment #5502 (comment) created by kmill
September 27, 2024 23:34 2s
September 27, 2024 23:34 2s
How to split your project into multiple files isn't listed on lean4 docs Label PR based on Comment #6957: Issue comment #1174 (comment) created by Seppel3210
September 27, 2024 22:10 2s
September 27, 2024 22:10 2s
Compilation with MonadLog for a StateT is surprisingly slow Label PR based on Comment #6956: Issue comment #5457 (comment) created by alexkeizer
September 27, 2024 22:04 2s
September 27, 2024 22:04 2s
fix: ensure instantiateMVarsProfiling adds a trace node Label PR based on Comment #6955: Issue comment #5501 (comment) created by leanprover-community-bot
September 27, 2024 21:52 2s
September 27, 2024 21:52 2s
Label PR based on Comment Label PR based on Comment #6954: created by alexkeizer
September 27, 2024 21:33 1s
September 27, 2024 21:33 1s
RFC: Named arguments should not make explicit arguments implicit except for structure parameters Label PR based on Comment #6953: Issue comment #5397 (comment) created by kmill
September 27, 2024 21:05 2s
September 27, 2024 21:05 2s
Git conflict experiment Label PR based on Comment #6952: Issue comment #5500 (comment) created by leanprover-community-bot
September 27, 2024 20:50 2s
September 27, 2024 20:50 2s
calc does not try to unify with expected type Label PR based on Comment #6951: Issue comment #2913 (comment) created by collares
September 27, 2024 18:10 2s
September 27, 2024 18:10 2s
doc: update documentation and tests for toUIntX functions Label PR based on Comment #6950: Issue comment #5497 (comment) created by leanprover-community-bot
September 27, 2024 17:25 2s
September 27, 2024 17:25 2s
The conversion of Float to UInt64 doesn't behave as described in the documentation. Label PR based on Comment #6949: Issue comment #5483 (comment) created by TomasPuverle
September 27, 2024 17:09 2s
September 27, 2024 17:09 2s
doc: update documentation and tests for toUIntX functions Label PR based on Comment #6948: Issue comment #5497 (comment) created by TomasPuverle
September 27, 2024 17:06 2s
September 27, 2024 17:06 2s
refactor: dead code AttributeExtensionOLeanEntry.decl Label PR based on Comment #6947: Issue comment #5496 (comment) created by leanprover-community-bot
September 27, 2024 16:36 2s
September 27, 2024 16:36 2s
chore: pr-release.yml: fix bot’s username to look for Label PR based on Comment #6946: Issue comment #5495 (comment) created by leanprover-community-bot
September 27, 2024 15:33 2s
September 27, 2024 15:33 2s
Compilation with MonadLog for a StateT is surprisingly slow Label PR based on Comment #6945: Issue comment #5457 (comment) created by Kha
September 27, 2024 13:55 2s
September 27, 2024 13:55 2s
Internal error due to lazy definition realization and backtracking Label PR based on Comment #6944: Issue comment #5093 (comment) created by nomeata
September 27, 2024 13:43 2s
September 27, 2024 13:43 2s
fix: induction pre-tactic should be indented Label PR based on Comment #6943: Issue comment #5494 (comment) created by leanprover-community-bot
September 27, 2024 13:43 2s
September 27, 2024 13:43 2s
calc does not try to unify with expected type Label PR based on Comment #6942: Issue comment #2913 (comment) created by collares
September 27, 2024 13:09 2s
September 27, 2024 13:09 2s
RFC: Make IO universe polymorphic Label PR based on Comment #6941: Issue comment #3011 (comment) created by eric-wieser
September 27, 2024 12:18 2s
September 27, 2024 12:18 2s
RFC: Provide a leanpkg binary to help confused new users Label PR based on Comment #6940: Issue comment #2872 (comment) created by Kha
September 27, 2024 12:15 3s
September 27, 2024 12:15 3s
RFC: Make IO universe polymorphic Label PR based on Comment #6939: Issue comment #3011 (comment) created by Kha
September 27, 2024 12:12 3s
September 27, 2024 12:12 3s
chore: remove invalid link Label PR based on Comment #6938: Issue comment #3067 (comment) created by Kha
September 27, 2024 11:03 1s
September 27, 2024 11:03 1s
fix: pass CMAKE_C/CXX_COMPILER to all stages Label PR based on Comment #6937: Issue comment #3080 (comment) created by Kha
September 27, 2024 11:02 2s
September 27, 2024 11:02 2s
calc does not try to unify with expected type Label PR based on Comment #6936: Issue comment #2913 (comment) created by Kha
September 27, 2024 10:17 1s
September 27, 2024 10:17 1s
linter.unusedVariables false negative within cases Label PR based on Comment #6935: Issue comment #3112 (comment) created by Kha
September 27, 2024 09:42 2s
September 27, 2024 09:42 2s
chore: delete unused code Label PR based on Comment #6934: Issue comment #5493 (comment) created by leanprover-community-bot
September 27, 2024 09:40 2s
September 27, 2024 09:40 2s