Skip portal build in Github Actions for now

Author: floscher

.github/workflows/build.yml

@@ -54,8 +54,7 @@ jobs:
         workspace: [
           common,
           client,
-          server,
-          portal
+          server
         ]
     steps:
       - run: sudo apt-get install -y libsdl-pango-dev libgif-dev