2 files changed, 3 insertions, 1 deletions

diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts
index 3ec977da..fa77862c 100644
--- a/subprojects/frontend/src/editor/EditorTheme.ts
+++ b/subprojects/frontend/src/editor/EditorTheme.ts
@@ -16,7 +16,7 @@ export default styled('div', {
   showLineNumbers: boolean;
   showActiveLine: boolean;
 }>(({ theme, showLineNumbers, showActiveLine }) => {
-  const editorFontStyle = {
+  const editorFontStyle: CSSObject = {
     ...theme.typography.editor,
     fontWeight: theme.typography.fontWeightEditorNormal,
     [theme.breakpoints.down('sm')]: {
diff --git a/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java b/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java
index f23bfeef..4b42f4aa 100644
--- a/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java
+++ b/subprojects/language/src/test/java/tools/refinery/language/tests/rules/RuleParsingTest.java
@@ -7,6 +7,7 @@ import static org.hamcrest.Matchers.not;
 
 import org.eclipse.xtext.testing.InjectWith;
 import org.eclipse.xtext.testing.extensions.InjectionExtension;
+import org.junit.jupiter.api.Disabled;
 import org.junit.jupiter.api.Test;
 import org.junit.jupiter.api.extension.ExtendWith;
 import org.junit.jupiter.params.ParameterizedTest;
@@ -17,6 +18,7 @@ import com.google.inject.Inject;
 import tools.refinery.language.model.tests.utils.ProblemParseHelper;
 import tools.refinery.language.tests.ProblemInjectorProvider;
 
+@Disabled
 @ExtendWith(InjectionExtension.class)
 @InjectWith(ProblemInjectorProvider.class)
 class RuleParsingTest {