Skip to content

Actions: leanprover/lean4

Actions

Jira sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jira.yml
224 workflow runs
224 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bv_decide does not support getMsbD Jira sync #224: Issue #5983 closed by hargoniX
November 7, 2024 08:24 8s
November 7, 2024 08:24 8s
RFC: Signed Fixed-width Integer Support Jira sync #223: Issue #3162 closed by hargoniX
November 5, 2024 19:13 13s
November 5, 2024 19:13 13s
No progress indicator for a long time when downloading a project in VSCode Jira sync #222: Issue #5615 closed by tydeu
November 4, 2024 14:56 10s
November 4, 2024 14:56 10s
RFC: lake update should update the lean-toolchain Jira sync #221: Issue #2752 closed by tydeu
November 4, 2024 14:56 11s
November 4, 2024 14:56 11s
Lake update across lake versions Jira sync #220: Issue #2582 closed by tydeu
November 4, 2024 14:56 13s
November 4, 2024 14:56 13s
Failure of exhaustiveness checker when matching on Exception Jira sync #219: Issue #4555 closed by kmill
November 3, 2024 19:10 9s
November 3, 2024 19:10 9s
RFE: add --short-version or --numeric-version Jira sync #218: Issue #5929 closed by nomeata
November 3, 2024 15:44 9s
November 3, 2024 15:44 9s
RFC: Improved error msg for induction alternative names Jira sync #217: Issue #5887 closed by nomeata
November 1, 2024 21:56 10s
November 1, 2024 21:56 10s
Variables not visible inside calc statement Jira sync #216: Issue #5921 closed by nomeata
November 1, 2024 19:36 14s
November 1, 2024 19:36 14s
Lean compiler can worsen the asymptotic running time of programs Jira sync #215: Issue #5908 closed by nomeata
November 1, 2024 13:50 10s
November 1, 2024 13:50 10s
incorrect type hover for Jira sync #214: Issue #5914 closed by alissa-tung
November 1, 2024 06:50 11s
November 1, 2024 06:50 11s
conv: "cannot select argument" with funlike coercions Jira sync #213: Issue #5871 closed by kmill
November 1, 2024 02:49 8s
November 1, 2024 02:49 8s
Dot notation resolution has counterintuitive behavior with diamond multiple inheritance Jira sync #212: Issue #3467 closed by kmill
October 31, 2024 21:31 1m 27s
October 31, 2024 21:31 1m 27s
Cannot derive functional induction principle Jira sync #211: Issue #5903 closed by nomeata
October 31, 2024 18:32 11s
October 31, 2024 18:32 11s
Miscompilation of UInt64.modn Jira sync #210: Issue #5818 closed by hargoniX
October 31, 2024 13:08 14s
October 31, 2024 13:08 14s
deadlock in l_Array_foldlMUnsafe_fold___at_Lean_Language_SnapshotTree_runAndReport___spec__2 Jira sync #209: Issue #5893 closed by tobiasgrosser
October 31, 2024 13:02 11s
October 31, 2024 13:02 11s
simp! docstring does not talk about simp! Jira sync #208: Issue #5597 closed by nomeata
October 30, 2024 14:51 1m 26s
October 30, 2024 14:51 1m 26s
lake update deletes files outside the .lake directory Jira sync #207: Issue #5876 closed by tydeu
October 30, 2024 02:54 7s
October 30, 2024 02:54 7s
Automatically quantified variables are either inaccessible, or misprinted Jira sync #206: Issue #5810 closed by kmill
October 29, 2024 17:05 1m 5s
October 29, 2024 17:05 1m 5s
RFC: simp attribute to accept ← modifier Jira sync #205: Issue #5828 closed by nomeata
October 29, 2024 11:33 1m 28s
October 29, 2024 11:33 1m 28s
certain tactics don't show term info on error Jira sync #204: Issue #3831 closed by kmill
October 29, 2024 03:54 9s
October 29, 2024 03:54 9s
all_goals + apply elaboration = lost errors Jira sync #203: Issue #4888 closed by kmill
October 28, 2024 22:11 1m 22s
October 28, 2024 22:11 1m 22s
RFC: Better error reports for incomplete calc Jira sync #202: Issue #4318 closed by kmill
October 28, 2024 21:03 1m 28s
October 28, 2024 21:03 1m 28s
No distinction between configuration warnings/errors in the root vs dependencies Jira sync #201: Issue #2765 closed by tydeu
October 28, 2024 18:00 8s
October 28, 2024 18:00 8s
conv-mode congr tactic fails with "over-applied" functions Jira sync #200: Issue #2942 closed by kmill
October 28, 2024 17:37 7s
October 28, 2024 17:37 7s