mirror of
https://github.com/prdlk/leetcode.git
synced 2026-09-16 23:16:26 +00:00
55 lines
1.9 KiB
YAML
55 lines
1.9 KiB
YAML
name: Spaced Repetition
|
|
|
|
# Opens (or refreshes) today's `Spaced Repetition — <Month D, YYYY>` issue from
|
|
# whatever the SRS ladder has due (`POST /admin/due`, the same rows the 8 AM
|
|
# digest mails — so the two cannot disagree). The script stores nothing and
|
|
# schedules nothing: it asks D1 what is standing today, keyed by the ET date in
|
|
# the title, so a re-run rewrites one body instead of stacking duplicates.
|
|
# Sunday is the rest day and the ladder never books it, so nothing is written.
|
|
|
|
on:
|
|
schedule:
|
|
# 10:00 UTC = 06:00 ET while the campaign runs (EDT through Nov 1), 05:00 ET
|
|
# after. No DST guard and no second cron: the issue is keyed by ET calendar
|
|
# date, not by the hour it was created, so the drift is cosmetic.
|
|
- cron: "0 10 * * *"
|
|
workflow_dispatch:
|
|
inputs:
|
|
dry_run:
|
|
description: Print the issue body without creating or updating anything
|
|
type: boolean
|
|
default: false
|
|
date:
|
|
description: ET date to treat as today (YYYY-MM-DD) — backfill a missed day
|
|
type: string
|
|
default: ""
|
|
|
|
permissions:
|
|
contents: read
|
|
issues: write
|
|
|
|
concurrency:
|
|
group: spaced-repetition
|
|
cancel-in-progress: false
|
|
|
|
jobs:
|
|
drill:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
|
|
- uses: oven-sh/setup-bun@v2
|
|
|
|
# No install step: the script only uses Bun builtins + fetch.
|
|
#
|
|
# SRS_ADMIN_KEY reads today's due list from the Worker. Unset is fatal
|
|
# here, unlike in close-solved: without D1 there is no schedule to render,
|
|
# and inventing one from issue close dates is exactly the second source of
|
|
# truth this replaced.
|
|
- run: bun apps/cli/spaced-repetition.ts
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
DRY_RUN: ${{ inputs.dry_run }}
|
|
SRS_TODAY: ${{ inputs.date }}
|
|
SRS_ADMIN_KEY: ${{ secrets.SRS_ADMIN_KEY }}
|