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

Nat.not_eq_zero_of_lt should be called Nat.ne_zero_of_lt Jira sync #341: Issue #6714 closed by kim-em
February 6, 2025 10:51 9s
February 6, 2025 10:51 9s
Binder can't update to typeclass argument Jira sync #340: Issue #6078 closed by jrr6
February 5, 2025 16:15 11s
February 5, 2025 16:15 11s
duplicate definition names not detected in mutual block Jira sync #339: Issue #6694 closed by jrr6
February 5, 2025 04:53 10s
February 5, 2025 04:53 10s
"failed to generate equational theorem" with nested matches Jira sync #338: Issue #3219 closed by nomeata
February 4, 2025 21:52 12s
February 4, 2025 21:52 12s
Cannot use hole for context proof in match Jira sync #337: Issue #6759 closed by jrr6
February 4, 2025 16:40 13s
February 4, 2025 16:40 13s
[RFC] quick and dirty mode Jira sync #336: Issue #2326 closed by fpvandoorn
February 4, 2025 14:53 14s
February 4, 2025 14:53 14s
RFC: optionally disable automatic namespace based on prefix Jira sync #335: Issue #6855 closed by Kha
February 4, 2025 14:39 9s
February 4, 2025 14:39 9s
Panic on a noncomputable definition Jira sync #334: Issue #2285 closed by Kha
February 4, 2025 13:12 9s
February 4, 2025 13:12 9s
invalid parametric local instance errors on typeclass arguments Jira sync #333: Issue #2311 closed by Kha
February 4, 2025 13:08 13s
February 4, 2025 13:08 13s
[RFC] optional smaller olean files Jira sync #332: Issue #2328 closed by Kha
February 4, 2025 13:03 11s
February 4, 2025 13:03 11s
[RFC] optional smaller olean files Jira sync #331: Issue #2328 closed by Kha
February 4, 2025 13:02 10s
February 4, 2025 13:02 10s
doc: docstring of Relation.TransGen.tail describes Relation.TransGen.trans Jira sync #330: Issue #6899 closed by Kha
February 4, 2025 10:09 9s
February 4, 2025 10:09 9s
lake build crash on v4.16.0 under NixOS Jira sync #329: Issue #6945 closed by Kha
February 4, 2025 09:44 13s
February 4, 2025 09:44 13s
Severe compile time degradation in specialization Jira sync #328: Issue #6816 closed by bollu
January 30, 2025 11:07 10s
January 30, 2025 11:07 10s
Failure to generate equational theorem Jira sync #327: Issue #6789 closed by nomeata
January 29, 2025 15:32 10s
January 29, 2025 15:32 10s
RFC: replace List.enum and List.enumFrom with zipWithIndex Jira sync #326: Issue #6709 closed by kim-em
January 29, 2025 02:42 8s
January 29, 2025 02:42 8s
Installed binaries of lean-4.14.0-linux do not work Jira sync #325: Issue #6392 closed by divyaranjan1905
January 28, 2025 18:22 13s
January 28, 2025 18:22 13s
outParam regresses instance resolution Jira sync #324: Issue #6819 closed by sgraf812
January 28, 2025 18:11 8s
January 28, 2025 18:11 8s
RFC: add definitions for Float and Float32 Jira sync #323: Issue #6797 closed by Kha
January 28, 2025 14:39 15s
January 28, 2025 14:39 15s
bug: exact tactic is missing an occurs check Jira sync #322: Issue #2504 closed by Kha
January 28, 2025 10:23 10s
January 28, 2025 10:23 10s
RFC: lake add command Jira sync #321: Issue #6676 closed by Kha
January 28, 2025 10:07 14s
January 28, 2025 10:07 14s
Segmentation fault from function not even used by program Jira sync #320: Issue #6721 closed by Kha
January 28, 2025 09:54 13s
January 28, 2025 09:54 13s
Universe normalization associates max suboptimally Jira sync #319: Issue #6760 closed by Kha
January 28, 2025 09:49 9s
January 28, 2025 09:49 9s
partial_fixpoint: failed to generate equational theorem Jira sync #318: Issue #6786 closed by nomeata
January 27, 2025 14:28 11s
January 27, 2025 14:28 11s
simproc Nat.reduceAnd doesn't work properly Jira sync #317: Issue #6772 closed by nomeata
January 25, 2025 13:22 10s
January 25, 2025 13:22 10s