Skip to content

Actions: leanprover/lean4

Actions

Jira sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jira.yml
366 workflow runs
366 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

RFC: FunInd to split on cond as well Jira sync #366: Issue #7115 closed by nomeata
February 20, 2025 15:13 11s
February 20, 2025 15:13 11s
RFC: Naming structure parent projections Jira sync #365: Issue #7099 closed by kmill
February 18, 2025 20:49 12s
February 18, 2025 20:49 12s
Compiler error from monad with class parameter Jira sync #364: Issue #2120 closed by Kha
February 18, 2025 13:19 10s
February 18, 2025 13:19 10s
IO current time support Jira sync #363: Issue #2123 closed by Kha
February 18, 2025 13:17 9s
February 18, 2025 13:17 9s
Structural recursion produces application type mismatch Jira sync #362: Issue #2130 closed by Kha
February 18, 2025 13:14 11s
February 18, 2025 13:14 11s
FunInd: Redundant assumptions due to match-elaboration Jira sync #361: Issue #6281 closed by Kha
February 17, 2025 17:21 10s
February 17, 2025 17:21 10s
Valid list index is rejected Jira sync #360: Issue #6999 closed by jrr6
February 15, 2025 03:26 10s
February 15, 2025 03:26 10s
No goals after finishing subgoal Jira sync #359: Issue #6594 closed by mhuisi
February 14, 2025 12:18 9s
February 14, 2025 12:18 9s
Definitionally equal types are no longer compatible Jira sync #358: Issue #7072 closed by suhr
February 13, 2025 18:45 13s
February 13, 2025 18:45 13s
Cannot use binderNameHint to control binders of simp congruence rules Jira sync #357: Issue #7052 closed by nomeata
February 13, 2025 10:09 10s
February 13, 2025 10:09 10s
wfParam propagation through lets Jira sync #356: Issue #7038 closed by nomeata
February 12, 2025 13:54 12s
February 12, 2025 13:54 12s
(kernel) declaration has free variables error when using auto implicits, variables, and quotation pre-resolution Jira sync #355: Issue #2223 closed by Kha
February 12, 2025 09:05 11s
February 12, 2025 09:05 11s
Problems with checkpointing Jira sync #354: Issue #2250 closed by Kha
February 12, 2025 09:04 12s
February 12, 2025 09:04 12s
RFC: replace current kernel with lean4lean kernel / reimplement kernel in lean Jira sync #353: Issue #6997 closed by Kha
February 12, 2025 09:01 14s
February 12, 2025 09:01 14s
calc fails to understand the type of numerals Jira sync #352: Issue #7035 closed by riccardobrasca
February 11, 2025 17:06 12s
February 11, 2025 17:06 12s
Unification of x - 1000 and ?y - 1 hits the recursion limit Jira sync #351: Issue #6955 closed by Kha
February 11, 2025 15:58 16s
February 11, 2025 15:58 16s
Failure to create instance in presence of multiple default fields Jira sync #350: Issue #2212 closed by Kha
February 11, 2025 12:49 9s
February 11, 2025 12:49 9s
Lean.FromJson does not use default value when parsing structures Jira sync #349: Issue #2225 closed by Kha
February 11, 2025 12:42 8s
February 11, 2025 12:42 8s
Investigate potential improvements to incremental tactic execution Jira sync #348: Issue #2235 closed by Kha
February 11, 2025 12:40 11s
February 11, 2025 12:40 11s
Output of exact? gives metavariable error Jira sync #347: Issue #6975 closed by Kha
February 11, 2025 12:20 9s
February 11, 2025 12:20 9s
The docker hub images are not updated Jira sync #346: Issue #6996 closed by Kha
February 11, 2025 12:17 9s
February 11, 2025 12:17 9s
rfc: allow universe unification to solve max u v =?= max u ?v Jira sync #345: Issue #2297 closed by kim-em
February 11, 2025 11:04 19s
February 11, 2025 11:04 19s
RFC: well-founded recursion: automatic .attach insertion Jira sync #344: Issue #5471 closed by nomeata
February 10, 2025 17:13 15s
February 10, 2025 17:13 15s
Missing equality between arguments in termination proof goal Jira sync #343: Issue #7020 closed by nomeata
February 10, 2025 12:57 9s
February 10, 2025 12:57 9s
Error message for "Invalid Lake configuration" appears for non-config related errors Jira sync #342: Issue #6827 closed by tydeu
February 8, 2025 15:37 10s
February 8, 2025 15:37 10s