Skip to content

Actions: leanprover/lean4

Actions

Jira sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jira.yml
278 workflow runs
278 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

RFC: style: number of spaces before | Jira sync #278: Issue #2580 closed by Kha
December 10, 2024 14:17 13s
December 10, 2024 14:17 13s
RFC: Visual Separators in Number Literals Jira sync #277: Issue #6199 closed by kmill
December 8, 2024 22:43 11s
December 8, 2024 22:43 11s
Functional induction principles should prune parmeters Jira sync #276: Issue #6320 closed by nomeata
December 7, 2024 03:19 9s
December 7, 2024 03:19 9s
new codegen: variant of isDefEq performance issue #3807 Jira sync #275: Issue #6309 closed by leodemoura
December 6, 2024 14:12 2m 2s
December 6, 2024 14:12 2m 2s
new codegen: tests/lean/run/discrRefinement2.lean fails Jira sync #274: Issue #6310 closed by leodemoura
December 6, 2024 14:11 2m 44s
December 6, 2024 14:11 2m 44s
cmake should make use of pkgconfig to detect shared libuv and gmp libs correctly Jira sync #273: Issue #6183 closed by Kha
December 6, 2024 10:26 14s
December 6, 2024 10:26 14s
Invocations of C++ compiler by Lake tests don't pass -isysroot on macOS Jira sync #272: Issue #6296 closed by Kha
December 3, 2024 16:44 17s
December 3, 2024 16:44 17s
"Failed to generate splitter" Jira sync #271: Issue #5064 closed by kmill
December 1, 2024 18:30 8s
December 1, 2024 18:30 8s
The build installs a copy of the already installed cadical binary Jira sync #270: Issue #5603 closed by Kha
November 27, 2024 13:47 11s
November 27, 2024 13:47 11s
reproducible language server desync Jira sync #269: Issue #6227 closed by Kha
November 27, 2024 13:37 15s
November 27, 2024 13:37 15s
lake: could not materialize package Jira sync #268: Issue #5330 closed by tydeu
November 27, 2024 05:33 11s
November 27, 2024 05:33 11s
Using open or export does not make names accessible for extended field notation (dot notation) Jira sync #267: Issue #3031 closed by kmill
November 25, 2024 19:07 32s
November 25, 2024 19:07 32s
(kernel) declaration has free variables error when extending class with typeclass parameter and extends Jira sync #266: Issue #2611 closed by kmill
November 24, 2024 04:56 10s
November 24, 2024 04:56 10s
pp.raw not affecting signature printing Jira sync #265: Issue #6090 closed by kmill
November 23, 2024 01:06 1m 5s
November 23, 2024 01:06 1m 5s
(kernel) constant has already been declared during simp Jira sync #264: Issue #6067 closed by leodemoura
November 23, 2024 00:38 8s
November 23, 2024 00:38 8s
Recursive structure fields silently ignore default values Jira sync #263: Issue #6140 closed by kmill
November 22, 2024 19:30 1m 0s
November 22, 2024 19:30 1m 0s
RFC: add the option to add a prefix and a suffix to a doc-string when using inherit_doc Jira sync #262: Issue #2622 closed by Kha
November 22, 2024 15:29 9s
November 22, 2024 15:29 9s
RFC: add the option to add a prefix and a suffix to a doc-string when using inherit_doc Jira sync #261: Issue #2622 closed by Kha
November 22, 2024 15:29 9s
November 22, 2024 15:29 9s
Instances don't cache if the expected type isn't known at the time of creation Jira sync #260: Issue #2696 closed by Kha
November 22, 2024 15:27 1m 0s
November 22, 2024 15:27 1m 0s
CoeFun and implicit arguments Jira sync #259: Issue #6124 closed by Kha
November 22, 2024 15:03 1m 4s
November 22, 2024 15:03 1m 4s
Rewrite fails to disambiguate when only one option is valid Jira sync #258: Issue #2849 closed by nomeata
November 22, 2024 14:40 11s
November 22, 2024 14:40 11s
RFC: mutual structures Jira sync #257: Issue #4182 closed by kmill
November 22, 2024 09:47 10s
November 22, 2024 09:47 10s
split runs out of heartbeats with nested matches and as-patterns Jira sync #256: Issue #6065 closed by leodemoura
November 21, 2024 17:48 10s
November 21, 2024 17:48 10s
stack overflow during elaboration Jira sync #255: Issue #6013 closed by leodemoura
November 21, 2024 00:56 10s
November 21, 2024 00:56 10s
Bug in the option trace.profiler.output.pp Jira sync #254: Issue #5872 closed by Kha
November 20, 2024 10:48 9s
November 20, 2024 10:48 9s