diff options
| author | Ben Sima <ben@bsima.me> | 2025-11-16 03:22:28 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-11-16 03:22:28 -0500 |
| commit | 4106020d713ea1d8ed815b1180d8df3ea60ae46e (patch) | |
| tree | a9f16613e372f6ba167537b6516264748f4c39ed /Omni | |
| parent | a2a4360e89603052e9f88d8405eaa386019b680f (diff) | |
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
Diffstat (limited to 'Omni')
| -rwxr-xr-x | Omni/Ide/typecheck.sh | 9 |
1 files changed, 6 insertions, 3 deletions
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" |