publish and build pages in dev and main

.gitlab-ci.yml

@@ -44,8 +44,8 @@ publish_dev:
   script:
     - "./gradlew setDevVersionForCI"
     - "./gradlew publish"
-  except:
-    - main
+  only:
+    - dev
 
 publish_main:
   image: openjdk:11
@@ -67,6 +67,9 @@ ragdoc_build:
     - JAVA_FILES=$(find dumpAst.base/src/ -name '*.java')
     - echo $JAVA_FILES | wc -l
     - /ragdoc-builder/start-builder.sh -excludeGenerated -d data/ $JAVA_FILES
+  only:
+    - dev
+    - main
   artifacts:
     paths:
       - "data/"
@@ -104,4 +107,5 @@ pages:
     paths:
       - public/
   only:
+    - dev
     - main