rtl: Use ghcr rtl-test-base image

Author: rascmatt

vadl/test/vadl/rtl/RtlDockerTest.java

@@ -28,8 +28,8 @@
 
 public abstract class RtlDockerTest extends DockerExecutionTest {
 
-  // TODO: Add version hash
-  private static final String RTL_BASE_IMAGE = "ghcr.io/openvadl/rtl-test-base";
+  private static final String RTL_BASE_IMAGE =
+      "ghcr.io/openvadl/rtl-test-base@sha256:c70a7fdf249dc7f81476a1cc5616e5b02af29dcadf7224a21987742256872f3c";
 
   private static final ConcurrentHashMap<String, ImageFromDockerfile> imageCache =
       new ConcurrentHashMap<>();

vadl/test/vadl/rtl/riscv/RiscVInstructionTest.java

@@ -17,7 +17,6 @@
 package vadl.rtl.riscv;
 
 import java.nio.file.Path;
-import org.junit.jupiter.api.Disabled;
 import org.junit.jupiter.api.Test;
 import vadl.configuration.DecoderOptions;
 import vadl.configuration.GeneralConfiguration;
@@ -27,7 +26,6 @@
 public class RiscVInstructionTest extends RtlDockerTest {
 
   @Test
-  @Disabled("Wait for docker image to be available at ghcr.io")
   void rv32imTest() {
 
     /* GIVEN */