examples: replay-app moved to fizzyedit/example-app

.github/workflows/ci.yml

@@ -161,11 +161,6 @@ jobs:
       - name: Build the example repos against this tree
         if: matrix.name == 'Linux'
         run: bash scripts/ci-retry.sh bash scripts/check-examples.sh
-      # A plain dvui app with tape playback, on the SDK package alone. In this repo until the
-      # SDK release that carries `replay` (fizzyedit/fizzy#281).
-      - name: Build examples/replay-app
-        if: matrix.name == 'Linux'
-        run: (cd examples/replay-app && bash "$GITHUB_WORKSPACE/scripts/ci-retry.sh" zig build --summary all)
 
       - name: Verify SDK version / ABI fingerprint lock
         shell: bash

scripts/check-examples.sh

@@ -7,8 +7,8 @@
 # dependency does. A path dependency (or `zig build --fork`) would see the whole checkout and
 # miss a file left out of `.paths`.
 #
-# example-app gets the whole repo; example-plugin gets the plugin SDK, packed as a release would
-# be (`scripts/pack-sdk.sh`).
+# example-app gets the whole repo, and for its replay app the plugin SDK; example-plugin gets the
+# plugin SDK. The SDK is packed as a release would be (`scripts/pack-sdk.sh`).
 #
 # Usage:
 #   scripts/check-examples.sh            # clones both repos' main
@@ -57,10 +57,14 @@ echo "== example-app, against this tree"
 (
   cd "$work/example-app"
   zig fetch --save=fizzy "$work/fizzy.tar.gz" >/dev/null
+  # Its replay app depends on the plugin SDK alone: this tree's, packed as a release would be.
+  zig fetch --save=fizzy_sdk "$sdk_tarball" >/dev/null
   for shape in minimal studio endless; do
     echo "-- $shape"
     zig build -Dshape="$shape" --summary all
   done
   echo "-- studio, as data"
   zig build -Dshape=studio -Dzon-layout=true --summary all
+  echo "-- the replay app"
+  zig build replay --summary all
 )

sdk/replay_module.zig

@@ -12,7 +12,7 @@
 //! exe.root_module.addImport("replay", automation.replay);
 //! ```
 //!
-//! `examples/replay-app` is the whole of it in a plain dvui app.
+//! fizzyedit/example-app's replay app (`replay/main.zig`) is the whole of it in a plain dvui app.
 //!
 //! Pure `std.Build` glue — lives in the `sdk/` package so it ships in the tarball.
 const std = @import("std");