From 4106020d713ea1d8ed815b1180d8df3ea60ae46e Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sun, 16 Nov 2025 03:22:28 -0500
Subject: Add 'Add to feed' button on episode pages and fix typecheck.sh

- Episode pages now show 'Add to feed' button for logged-in users
who don't have the episode - Added POST /episode/{id}/add-to-feed
endpoint - Tracks 'added' metric when user adds episode to their feed -
Added Database.track_episode_metric() function for metrics tracking -
Fixed typecheck.sh to use bild instead of broken repl.sh approach

Tasks completed: t-gc9aud, t-gcbqDl
---
 Omni/Ide/typecheck.sh | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'Omni')

diff --git a/Omni/Ide/typecheck.sh b/Omni/Ide/typecheck.sh
index 9de8b54..5f92c90 100755
--- a/Omni/Ide/typecheck.sh
+++ b/Omni/Ide/typecheck.sh
@@ -4,8 +4,8 @@
 ###
 ### > typecheck.sh <target..>
 ###
-### Uses repl.sh to provision the environment for target, then runs the
-### appropriate typechecker for the given module.
+### Runs the typechecker for the given target by building it with bild.
+### This leverages bild's built-in typechecking without running tests.
 ###
 help() {
     sed -rn 's/^### ?//;T;p' "$0"
@@ -15,4 +15,7 @@ if [[ $# == 0 ]] || [[ "$1" == "-h" ]]; then
     exit 1
 fi
 target="$1"
-repl.sh --cmd "python -m mypy $target" "$target"
+
+# Use bild to typecheck (bild runs mypy for Python, ghc for Haskell, etc.)
+# This is simpler than trying to set up the environment ourselves
+bild "$target"
-- 
cgit v1.2.3