Allow llvm16

.circleci/base.yml

@@ -0,0 +1,147 @@
+version: 2.1
+
+commands:
+  setup:
+    description: "Setup skip toolchain"
+    steps:
+      - run:
+          name: Fetch submodules
+          command: |
+            git submodule update --init --recursive
+
+jobs:
+  fast-checks:
+    docker:
+      - image: skiplabs/skip:llvm16
+    steps:
+      - checkout
+      - run:
+          name: Check code is formatted
+          command: |
+            make check-fmt
+      - run:
+          name: Check shell scripts
+          command: |
+            make check-sh
+
+  check-ts:
+    docker:
+      - image: skiplabs/skip:llvm16
+    steps:
+      - checkout
+      - setup
+      - run:
+          name: Typecheck and lint typescript sources
+          command: SKIPRUNTIME=$(pwd)/build/skipruntime npm install && npm run build && npm run lint
+
+  compiler:
+    docker:
+      - image: skiplabs/skiplang:llvm16
+    resource_class: xlarge
+    steps:
+      - checkout
+      - setup
+      - run:
+          name: Run compiler tests
+          no_output_timeout: 30m
+          command: |
+            mkdir -p ~/test-results
+            cd skiplang/compiler && make STAGE=1
+            PATH=$(realpath ./stage1/bin):$PATH skargo test --jobs 8 --junitxml ~/test-results/skc.xml
+      - store_test_results:
+          path: ~/test-results/skc.xml
+
+  skstore:
+    docker:
+      - image: skiplabs/skiplang:llvm16
+    steps:
+      - checkout
+      - setup
+      - run:
+          name: Run skstore tests
+          command: |
+            mkdir -p ~/test-results
+            cd skiplang/prelude && skargo test --jobs 8 --junitxml ~/test-results/skstore.xml
+      - store_test_results:
+          path: ~/test-results/skstore.xml
+
+  skdb:
+    docker:
+      - image: skiplabs/skdb-base:llvm16
+    steps:
+      - checkout
+      - setup
+      - run:
+          name: Run native skdb tests
+          command: |
+            make test-native
+
+  skdb-wasm:
+    docker:
+      - image: skiplabs/skdb-base:llvm16
+    steps:
+      - checkout
+      - setup
+      - run:
+          name: Run wasm skdb tests
+          no_output_timeout: 15m
+          command: |
+            mkdir -p ~/test-results
+            make test-wasm
+      - store_test_results:
+          path: ~/test-results/skdb-wasm.xml
+
+  skjson:
+    docker:
+      - image: skiplabs/skiplang:llvm16
+    steps:
+      - checkout
+      - setup
+      - run:
+          name: Run skjson tests
+          command: |
+            mkdir -p ~/test-results
+            cd skiplang/skjson && skargo test --junitxml ~/test-results/skjson.xml
+      - store_test_results:
+          path: ~/test-results/skjson.xml
+
+  skipruntime:
+    docker:
+      - image: skiplabs/skip:llvm16
+      - image: cimg/postgres:17.0
+        environment:
+          PGHOST: localhost
+          PGDATABASE: postgres
+          PGPORT: 5432
+          PGUSER: postgres
+          PGPASSWORD: secret
+    steps:
+      - checkout
+      - setup
+      - run:
+          name: Run wasm skip runtime tests
+          no_output_timeout: 10m
+          command: |
+            mkdir -p ~/test-results
+            make test-skipruntime-ts
+      - store_test_results:
+          path: ~/test-results/skipruntime.xml
+
+  check-hackernews-example:
+    docker:
+      - image: cimg/base:2025.01
+    steps:
+      - checkout
+      - setup
+      - setup_remote_docker
+      - run:
+          name: Build docker images
+          working_directory: ~/project/examples/hackernews
+          command: docker compose build
+      - run:
+          name: Start services
+          working_directory: ~/project/examples/hackernews
+          command: docker compose up --wait
+      - run:
+          name: Test back end health
+          command: (docker run --network hackernews_default -it cimg/base:2025.01 curl --silent --max-time 0.1 --insecure --location https://haproxy/api/posts || true) | grep --quiet "data:"

.circleci/config.yml

@@ -0,0 +1,23 @@
+version: 2.1
+
+setup: true
+
+orbs:
+  continuation: circleci/[email protected]
+
+jobs:
+  setup:
+    executor: continuation/default
+    steps:
+      - checkout
+      - run:
+          name: Generate config
+          command: |
+            .circleci/generate_config.sh > generated_config.yml
+      - continuation/continue:
+          configuration_path: generated_config.yml
+
+workflows:
+  setup:
+    jobs:
+      - setup

.circleci/generate_config.sh

@@ -0,0 +1,105 @@
+#!/bin/bash
+
+# TODO: This is flaky as it relies on coarse directory-level diffs.
+
+BASE="$(git merge-base main HEAD)"
+
+# shellcheck disable=SC2046 # We actually want splitting in jq command output
+git diff --quiet HEAD "$BASE" -- $(jq --raw-output ".workspaces[]" package.json)
+check_ts=1
+git diff --quiet HEAD "$BASE" -- skiplang/compiler/ skiplang/prelude/ :^skiplang/prelude/ts
+skc=1
+git diff --quiet HEAD "$BASE" -- skiplang/prelude/src/skstore/ skiplang/prelude/runtime/
+skstore=1
+git diff --quiet HEAD "$BASE" -- skiplang/skjson
+skjson=1
+git diff --quiet HEAD "$BASE" -- sql/ skiplang/sqlparser/ skiplang/skbuild/
+skdb=1
+git diff --quiet HEAD "$BASE" -- skipruntime-ts/
+skipruntime=1
+git diff --quiet HEAD "$BASE" -- skiplang/prelude/ts/
+ts_prelude=1
+git diff --quiet HEAD "$BASE" -- examples/hackernews/
+hackernews_example=1
+
+cat .circleci/base.yml
+
+echo "workflows:"
+
+    cat <<EOF
+  fast-checks:
+    jobs:
+      - fast-checks
+EOF
+
+if (( check_ts != 0 ))
+then
+    cat <<EOF
+  check-ts:
+    jobs:
+      - check-ts
+EOF
+fi
+
+if (( skc != 0 ))
+then
+   cat <<EOF
+  compiler:
+    jobs:
+      - compiler
+EOF
+fi
+
+if (( skstore != 0 ))
+then
+    cat <<EOF
+  skstore:
+    jobs:
+      - skstore
+EOF
+fi
+
+if (( skjson != 0 ))
+then
+    cat <<EOF
+  skjson:
+    jobs:
+      - skjson
+EOF
+fi
+
+if (( skdb != 0 || skstore != 0 ))
+then
+    cat <<EOF
+  skdb:
+    jobs:
+      - skdb
+EOF
+fi
+
+if (( skdb != 0 || skstore != 0 || ts_prelude != 0 || skjson != 0 ))
+then
+    cat <<EOF
+  skdb-wasm:
+    jobs:
+      - skdb-wasm
+EOF
+fi
+
+if (( skstore != 0 || skipruntime != 0 || ts_prelude != 0 || skjson != 0 ))
+then
+    cat <<EOF
+  skipruntime:
+    jobs:
+      - skipruntime
+EOF
+fi
+
+if (( hackernews_example != 0))
+then
+    cat <<EOF
+  hackernews-example:
+    jobs:
+      - check-hackernews-example
+EOF
+fi