From f5dccfef4f527331dc131f501580c3cc0d5f21f0 Mon Sep 17 00:00:00 2001 From: Peter <46405338+gadfort@users.noreply.github.com> Date: Tue, 5 Nov 2024 17:22:51 -0500 Subject: [PATCH] restore zerosoc --- .github/workflows/config/designs.json | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/.github/workflows/config/designs.json b/.github/workflows/config/designs.json index 5b293c3..4d55061 100644 --- a/.github/workflows/config/designs.json +++ b/.github/workflows/config/designs.json @@ -886,15 +886,11 @@ { "design": "zerosoc_flat", "remote": false, - "target": null, - "skip": "causes segfault after opensta update", - "cache": false + "target": null }, { "design": "zerosoc_hierarchy", "remote": false, - "target": null, - "skip": "causes segfault after opensta update", - "cache": false + "target": null } -] \ No newline at end of file +]