Skip to content

Actions: leanprover/lean4

Actions

Jira sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jira.yml
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[RFC] record all parents structures in StructureInfo Jira sync #198: Issue #1881 closed by kmill
October 28, 2024 01:47 1m 24s
October 28, 2024 01:47 1m 24s
<|> notation is not pretty-printed Jira sync #197: Issue #5668 closed by kmill
October 27, 2024 00:18 1m 26s
October 27, 2024 00:18 1m 26s
passing instances to named arguments turns explicit args into implicit Jira sync #196: Issue #1867 closed by kmill
October 26, 2024 21:10 12s
October 26, 2024 21:10 12s
Default values lost for structure fields with types dependent on parent structures Jira sync #195: Issue #2186 closed by kmill
October 26, 2024 01:07 1m 22s
October 26, 2024 01:07 1m 22s
Better error message when trying to declare a recursive structure Jira sync #194: Issue #2512 closed by kmill
October 25, 2024 20:10 1m 30s
October 25, 2024 20:10 1m 30s
Header lean.h not conforming C++ Jira sync #193: Issue #5570 closed by Kha
October 25, 2024 14:10 1m 6s
October 25, 2024 14:10 1m 6s
bv_decide does not normalize bitvector widths Jira sync #192: Issue #5575 closed by Kha
October 25, 2024 14:06 5m 13s
October 25, 2024 14:06 5m 13s
simp at * fails to close goal where simp at h does Jira sync #191: Issue #5593 closed by Kha
October 25, 2024 14:05 5m 43s
October 25, 2024 14:05 5m 43s
Rewrite applies the wrong equational rule Jira sync #190: Issue #5611 closed by Kha
October 25, 2024 14:04 11s
October 25, 2024 14:04 11s
[question] How to "cache" previous edits when changing LEAN file Jira sync #189: Issue #5223 closed by nomeata
October 25, 2024 12:56 10s
October 25, 2024 12:56 10s
Instantiate metavars takes enormously long in VSCode, but is snappy in the terminal Jira sync #188: Issue #5614 closed by Kha
October 25, 2024 09:58 1m 19s
October 25, 2024 09:58 1m 19s
RFC: release musl binaries Jira sync #187: Issue #2931 closed by TwoFX
October 25, 2024 06:05 52s
October 25, 2024 06:05 52s
RFC: release musl binaries Jira sync #186: Issue #2931 closed by TwoFX
October 25, 2024 06:05 10s
October 25, 2024 06:05 10s
Generalize seems to try to generalize inside the hypothesis being defined Jira sync #185: Issue #4845 closed by kim-em
October 25, 2024 05:33 1m 52s
October 25, 2024 05:33 1m 52s
Unification bug Jira sync #184: Issue #3146 closed by kmill
October 24, 2024 23:56 59s
October 24, 2024 23:56 59s
lemma works not synonymously for theorem or def Jira sync #183: Issue #5813 closed by nomeata
October 23, 2024 07:01 9s
October 23, 2024 07:01 9s
rwa tactic behaviour doesn't match documentation Jira sync #182: Issue #5792 closed by nomeata
October 22, 2024 16:32 12s
October 22, 2024 16:32 12s
Cannot derive functional induction principle Jira sync #181: Issue #5767 closed by nomeata
October 22, 2024 10:37 10s
October 22, 2024 10:37 10s
lake new shouldn't run git init when the dir is already inside the git work tree Jira sync #180: Issue #5791 closed by haoxins
October 21, 2024 11:54 11s
October 21, 2024 11:54 11s
Structure eta doesn't work for nested inductives Jira sync #179: Issue #5661 closed by nomeata
October 21, 2024 09:09 10s
October 21, 2024 09:09 10s
Instantiate metavars takes enormously long in VSCode, but is snappy in the terminal Jira sync #178: Issue #5614 closed by kim-em
October 21, 2024 05:59 12s
October 21, 2024 05:59 12s
Delaboration of re-exported names Jira sync #177: Issue #2524 closed by kmill
October 20, 2024 19:02 11s
October 20, 2024 19:02 11s
PANIC at outOfBounds on theorem involving a nested inductive Jira sync #176: Issue #5726 closed by nomeata
October 18, 2024 20:13 12s
October 18, 2024 20:13 12s
Duplicate instances introduced through inheritance gives confusing errors Jira sync #175: Issue #2952 closed by nomeata
October 18, 2024 12:54 13s
October 18, 2024 12:54 13s
RFC: Provide a leanpkg binary to help confused new users Jira sync #174: Issue #2872 closed by Kha
October 18, 2024 12:08 12s
October 18, 2024 12:08 12s