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: Extensible pre-definition-elaboration Jira sync #98: Issue #2812 closed by nomeata
September 12, 2024 15:44 10s
September 12, 2024 15:44 10s
unused variable linter sometimes warns on _, even though _x suppresses the linter Jira sync #97: Issue #5259 closed by Kha
September 12, 2024 13:24 12s
September 12, 2024 13:24 12s
autocomplete failure Jira sync #96: Issue #5219 closed by mhuisi
September 10, 2024 07:49 11s
September 10, 2024 07:49 11s
Unexpected field notation completion Jira sync #95: Issue #4705 closed by mhuisi
September 10, 2024 07:49 9s
September 10, 2024 07:49 9s
a code suggestion bug Jira sync #94: Issue #4455 closed by mhuisi
September 10, 2024 07:49 14s
September 10, 2024 07:49 14s
RFC: Bounded recursion instead of well-founded recursion on Nat Jira sync #93: Issue #5234 closed by nomeata
September 10, 2024 06:16 13s
September 10, 2024 06:16 13s
Broken Lake linking Jira sync #92: Issue #5050 closed by Kha
September 9, 2024 09:35 10s
September 9, 2024 09:35 10s
Lake native libraries include main symbol Jira sync #91: Issue #2436 closed by Kha
September 9, 2024 09:35 9s
September 9, 2024 09:35 9s
IR check failed in presence of noncomputable Jira sync #90: Issue #1785 closed by kmill
September 7, 2024 22:19 10s
September 7, 2024 22:19 10s
Identifier pretty-printing can clash with notation Jira sync #89: Issue #4686 closed by kmill
September 7, 2024 21:49 10s
September 7, 2024 21:49 10s
RFC: use "unknown character" as default Char Jira sync #88: Issue #5232 closed by joneugster
September 4, 2024 12:06 11s
September 4, 2024 12:06 11s
Document highlight should include identifiers just before cursor Jira sync #87: Issue #3023 closed by mhuisi
September 4, 2024 08:29 11s
September 4, 2024 08:29 11s
Docstring for Int.mod is misleading Jira sync #86: Issue #5204 closed by TwoFX
September 2, 2024 09:55 11s
September 2, 2024 09:55 11s
[question] How to "cache" previous edits when changing LEAN file Jira sync #85: Issue #5223 closed by realharryhero
September 1, 2024 17:04 11s
September 1, 2024 17:04 11s
omega: Handles two-element Prod.Lex, but not three elements Jira sync #84: Issue #3845 closed by Kha
August 30, 2024 14:36 11s
August 30, 2024 14:36 11s
Docs for include suggest that it might affect def Jira sync #83: Issue #5184 closed by Kha
August 30, 2024 13:20 12s
August 30, 2024 13:20 12s
structural recursion fails in the equation compiler Jira sync #82: Issue #4540 closed by nomeata
August 29, 2024 17:17 13s
August 29, 2024 17:17 13s
RFC: f.eq_unfold lemmas Jira sync #81: Issue #5110 closed by nomeata
August 29, 2024 17:10 9s
August 29, 2024 17:10 9s
conv’s arg fails with subsingleton parameters Jira sync #80: Issue #4394 closed by nomeata
August 29, 2024 16:20 10s
August 29, 2024 16:20 10s
LabelAttribute fails to handle local attribute kind Jira sync #79: Issue #3697 closed by Kha
August 29, 2024 15:57 10s
August 29, 2024 15:57 10s
LabelAttribute fails to handle local attribute kind Jira sync #78: Issue #3697 closed by Kha
August 29, 2024 15:57 10s
August 29, 2024 15:57 10s
Stack overflow in LSP/lake build for snippet Jira sync #77: Issue #3814 closed by Kha
August 29, 2024 15:38 15s
August 29, 2024 15:38 15s
Create a standard GitHub action for Lean projects Jira sync #76: Issue #3950 closed by Kha
August 29, 2024 15:27 20s
August 29, 2024 15:27 20s
IO.getEnv returns invalid UTF-8 on windows Jira sync #75: Issue #3895 closed by Kha
August 29, 2024 15:21 14s
August 29, 2024 15:21 14s
Huge Nat match takes close to 40 secs to elab Jira sync #74: Issue #4898 closed by Kha
August 29, 2024 15:14 13s
August 29, 2024 15:14 13s