Add a line to build a docker image for the RTI

lf-lang · Nov 20, 2023 · a8e241c · a8e241c
1 parent 5a44ace
commit a8e241c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/actions/install-rti/install.sh b/.github/actions/install-rti/install.sh
@@ -8,3 +8,4 @@ fi
 cmake -DAUTH=ON ../
 make
 sudo make install
+docker build -t rti:rti -f rti.Dockerfile ../../../core/