GitHub · Where software is built

Labels Milestones New issue

Add Regal support in intellij editor

#1786

· gusega opened

on Nov 28, 2025

The <code>regal version</code> command should print its OPA dependency version

good first issue

#1785

· anderseknert opened

on Nov 27, 2025

Add code action to rewrite string -> raw string and vice versa

language server

#1771

· anderseknert opened

on Nov 12, 2025

Implement document highlight of <code>every</code> bindings

language server

#1768

· anderseknert opened

on Nov 11, 2025

Implement document highlight of <code>some .. in</code> bindings

language server

#1767

· anderseknert opened

on Nov 11, 2025

Extend support for document highlighting to include rule heads

language server

#1766

· charlieegan3 opened

on Nov 11, 2025

Should importing a parent package from a sub package trigger <code>pointless-import</code>?

#1759

· sascha-cariad opened

on Nov 7, 2025

Making edits in the compiler explorer text area breaks the view

language server

#1757

· anderseknert opened

on Nov 6, 2025

Better document compiler explorer

language server

#1755

· anderseknert opened

on Nov 6, 2025

Allow customizing settings of debugger launched via Debug code lens

language server

#1735

· anderseknert opened

on Oct 28, 2025

Add fixer for prefer-equals-comparison rule

language server

#1734

· anderseknert opened

on Oct 28, 2025

lsp: Edge case bug has reported diagnostics miss ignore directive

language server

#1730

· anderseknert opened

on Oct 27, 2025