Config-editor-ui: fix init bug (#218)

This commit is contained in:
Celie Valentiny
2021-03-19 09:28:19 +00:00
committed by GitHub Enterprise
parent ba9b70c131
commit 976e10fd04
3 changed files with 72 additions and 42 deletions

View File

@@ -38,6 +38,14 @@ export interface GitFiles<T> {
files: T[];
}
export interface AdminConfigGitFiles<T> extends GitFiles<T> {
config_version: number;
}
export interface DeploymentGitFiles<T> extends GitFiles<T> {
rules_version: number;
}
export interface TestCaseEvaluation {
files: Content<TestCase>[];
test_result_raw_output: string;