Merge branch 'gh-pages' of https://github.com/LivelyKernel/lively4-core into gh-pages

Author: JensLincke

.github/workflows/ci.yml

@@ -8,9 +8,9 @@ jobs:
     steps:
     - name: Clone lively4-core repository
       uses: actions/checkout@v2
-    - name: Use Node.js 0.11
+    - name: Use Node.js 0.12
       uses: actions/setup-node@v1
       with:
-        node-version: 0.11
+        node-version: 0.12
     - run: npm install
     - run: xvfb-run npm test