Add GitHub Actions CI, Nix flake, and tests

Author: lessuseless

.github/workflows/ci.yml

@@ -0,0 +1,32 @@
+name: CI
+
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "main" ]
+
+jobs:
+  test:
+    name: Run Typst Tests
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Setup Typst
+        uses: typst-community/setup-typst@v3
+        with:
+          typst-version: 'latest' # Uses the latest official Typst release
+
+      - name: Compile Test File
+        # We compile the test file. If it panics due to failed assertions or typing issues, the step fails.
+        run: typst compile tests/test.typ tests/test.pdf
+
+      # (Optional) You can upload the compiled test PDF to inspect if anything visual is rendered
+      - name: Upload Test PDF
+        uses: actions/upload-artifact@v4
+        with:
+          name: check-output
+          path: tests/test.pdf
+          retention-days: 1

flake.nix

@@ -0,0 +1,42 @@
+{
+  description = "Promptyst: A contract-first Typst DSL for structured AI prompts";
+
+  inputs = {
+    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
+    flake-utils.url = "github:numtide/flake-utils";
+  };
+
+  outputs = { self, nixpkgs, flake-utils }:
+    flake-utils.lib.eachDefaultSystem (system:
+      let
+        pkgs = nixpkgs.legacyPackages.${system};
+      in
+      {
+        devShells.default = pkgs.mkShell {
+          buildInputs = with pkgs; [
+            typst
+            # You can add other tools like `just` or `git` here if needed
+            just
+          ];
+
+          shellHook = ''
+            echo "Promptyst Typst Dev Environment Loaded!"
+            typst --version
+          '';
+        };
+
+        # A basic check to ensure compilation passes in the Nix environment
+        checks.default = pkgs.stdenv.mkDerivation {
+          name = "promptyst-tests";
+          src = ./.;
+          buildInputs = [ pkgs.typst ];
+          phases = [ "unpackPhase" "buildPhase" ];
+          buildPhase = ''
+            typst compile tests/test.typ out.pdf
+            # If the above passes without panic, the tests succeed.
+            touch $out
+          '';
+        };
+      }
+    );
+}

tests/test.typ

@@ -0,0 +1,51 @@
+// tests/test.typ
+// A simple integration test to ensure promptyst compiles successfully
+// without panicking on valid inputs.
+
+#import "../lib.typ": *
+
+#let ctx = p-context(
+  id: "test-context",
+  entries: (
+    (key: "repo", value: "promptyst"),
+  ),
+)
+
+#let sch = p-schema(
+  id: "test-schema",
+  fields: (
+    (name: "status", type: "string", description: "The build status"),
+  ),
+)
+
+#let cp = p-checkpoint(
+  id: "test-checkpoint",
+  after-step: 1,
+  assertion: "Ensure tests run.",
+  on-fail: "halt"
+)
+
+#let my-prompt = p-prompt(
+  id:          "ci-test",
+  version:     "0.1.0",
+  role:        "You are a CI agent.",
+  context:     ctx,
+  constraints: ("Be fast.",),
+  steps:       ("Run code.",),
+  inputs:      ((name: "code", type: "string", description: "The code to test."),),
+  schema:      sch,
+  checkpoints: (cp,)
+)
+
+#let rendered = render-prompt(my-prompt)
+
+// Assert that the rendering outputs a string successfully
+#assert(type(rendered) == str)
+
+// You can also add specific string match assertions if desired:
+#assert(rendered.contains("## Checkpoint: test-checkpoint"))
+#assert(rendered.contains("## Output Schema: test-schema"))
+
+#align(center)[
+  = Tests Passed Successfully!
+]