-
Notifications
You must be signed in to change notification settings - Fork 27
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#1913 In opencompl/lean-mlir;
- Status: Open.#1905 In opencompl/lean-mlir;
- Status: Open.#1904 In opencompl/lean-mlir;
- Status: Open.#1831 In opencompl/lean-mlir;
- Status: Open.#1765 In opencompl/lean-mlir;
- Status: Open.#1757 In opencompl/lean-mlir;
Bug: the LLVM evaluation is broken
needs-consensusissues which affect the project as a whole, and which are currently blocked on reaching consensusissues which affect the project as a whole, and which are currently blocked on reaching consensusStatus: Open.#1754 In opencompl/lean-mlir;- Status: Open.#1748 In opencompl/lean-mlir;
- Status: Open.#1730 In opencompl/lean-mlir;
- Status: Open.#1697 In opencompl/lean-mlir;
- Status: Open.#1684 In opencompl/lean-mlir;
Should we maintain our own CI runner for building Docker images (to reduce time spent shuffling caches around)
needs-consensusissues which affect the project as a whole, and which are currently blocked on reaching consensusissues which affect the project as a whole, and which are currently blocked on reaching consensusStatus: Open.#1606 In opencompl/lean-mlir;