Add container image for the runner

Author: kazk

.dockerignore

@@ -0,0 +1,3 @@
+*
+!workspace/
+workspace/node_modules/

.github/workflows/publish-image.yml

@@ -0,0 +1,41 @@
+# Manually trigger image build and push.
+# This must be done after publishing a new version of the package
+# and updating `workspace/package.json` to use it.
+name: Push Image
+on:
+  workflow_dispatch:
+    inputs:
+      tag:
+        description: Tag for the new image
+        required: true
+jobs:
+  build-and-push-image:
+    if: ${{ github.repository == 'codewars/lambda-calculus' }}
+    name: Build Images
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      packages: write
+    steps:
+    - uses: actions/checkout@v2
+
+    - name: Set up Docker Buildx
+      uses: docker/setup-buildx-action@v1
+
+    - name: Login to GitHub Container Registry
+      uses: docker/login-action@v1
+      with:
+        registry: ghcr.io
+        username: ${{ github.repository_owner }}
+        password: ${{ secrets.GITHUB_TOKEN }}
+
+    - name: Build and push image
+      uses: docker/build-push-action@v2
+      with:
+        context: .
+        push: true
+        tags: |
+          ghcr.io/${{ github.repository_owner }}/lambda-calculus:latest
+          ghcr.io/${{ github.repository_owner }}/lambda-calculus:${{ github.event.inputs.tag }}
+        cache-from: type=gha
+        cache-to: type=gha,mode=max

Dockerfile

@@ -0,0 +1,14 @@
+FROM node:16.13-alpine3.15
+
+RUN set -ex; \
+    adduser -D codewarrior; \
+    mkdir -p /workspace; \
+    chown codewarrior:codewarrior /workspace;
+
+COPY --chown=codewarrior:codewarrior workspace/package.json /workspace/package.json
+COPY --chown=codewarrior:codewarrior workspace/package-lock.json /workspace/package-lock.json
+COPY --chown=codewarrior:codewarrior workspace/files.js /workspace/files.js
+
+USER codewarrior
+WORKDIR /workspace
+RUN npm install

example/README.md

@@ -0,0 +1,3 @@
+Minimal example with a solution and tests.
+
+Use `./test.sh` to run this in a container.

example/solution.lc

@@ -0,0 +1,11 @@
+# Kacarott
+
+true  = \ a b . a
+false = \ a b . b
+
+zero = false
+succ = \ n f x . f (n f x)
+
+y = \ f . (\ x . f (x x)) (\ x . f (x x))
+
+counter = y (\ count n b . b (count (succ n)) (n) ) zero

example/test.js

@@ -0,0 +1,21 @@
+import { assert, config as chaiConfig } from "chai";
+chaiConfig.truncateThreshold = 0;
+
+import * as LC from "@codewars/lambda-calculus";
+import { solution } from "./files.js"; // /workspace/files.js
+
+LC.config.purity = "Let";
+LC.config.numEncoding = "Church";
+const toInt = LC.toIntWith(LC.config);
+const { counter } = LC.compile(solution());
+
+const T = t => _ => t;
+const F = _ => f => f;
+
+describe("counter", () => {
+  it("fixed tests", () => {
+    assert.strictEqual(toInt(counter(T)(T)(T)(F)), 3);
+    assert.strictEqual(toInt(counter(T)(F)), 1);
+    assert.strictEqual(toInt(counter(T)(T)(T)(T)(T)(T)(T)(F)), 7);
+  });
+});

example/test.sh

@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+# Test example in a container similar to the runner
+W=/workspace/
+C=$(docker container create --rm -w $W ghcr.io/codewars/lambda-calculus:latest npx mocha)
+docker container cp ./solution.lc $C:$W
+docker container cp ./test.js $C:$W
+docker container start --attach $C

kata/submit-tests.js

@@ -0,0 +1,10 @@
+The `/workspace` directory where the submitted solution is tested in.
+
+```text
+├─ files.js         a wrapper module to load submitted solution and preloaded
+├─ preloaded.lc     optional preloaded file
+├─ solution.lc      submitted solution file
+└─ test.js          tests
+```
+
+See `Dockerfile` and `examples/`.

workspace/README.md

@@ -0,0 +1,9 @@
+import { readFileSync } from "fs";
+
+const read = (path) => readFileSync(new URL(path, import.meta.url), {encoding: "utf8"});
+
+/** Return the contents of the solution file */
+export const solution = () => read("./solution.lc");
+
+/** Return the contents of the optional preloaded file */
+export const preloaded = () => read("./preloaded.lc");