diff --git a/Jenkinsfile b/Jenkinsfile
index 4c5b17d..d1745c5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -50,6 +50,7 @@ pipeline {
                         sh 'conan profile new default --detect --force'
                         sh 'cmake -S . -B build -DCMAKE_BUILD_TYPE=Release -DWITH_ASMJIT=ON -DWITH_TCC=ON -DWITH_LLVM=ON'
                         sh 'cmake --build build -j'
+                        sh 'build/dbt-rise-tgc/tgc-sim --isa ?'
                     }
                 }
             }
diff --git a/dbt-rise-core b/dbt-rise-core
index e3873be..3fda1c7 160000
--- a/dbt-rise-core
+++ b/dbt-rise-core
@@ -1 +1 @@
-Subproject commit e3873bea7a2fcb19abda31fcac469bd8125288bd
+Subproject commit 3fda1c77b0e624ee3349f0379aca93e1ae3d3ecf