feat(notifications): the in-app inbox — cutover 6 of 7 (edgemain) #43

Merged
whitlocktech merged 4 commits from edge into main 2026-09-01 14:01:00 +00:00
Showing only changes of commit 21e235a07f - Show all commits

View File

@@ -1,5 +1,5 @@
# Gate every pull request into `main` on lint + unit tests + a debug build, so a # Gate every pull request into `main` or `edge` on lint + unit tests + a debug
# broken build can't reach the deployable branch. Debug builds are auto-signed, # build, so a broken build can't reach the deployable branch. Debug builds are auto-signed,
# so this gate needs no secrets. The signed *release* APK + Gitea release come # so this gate needs no secrets. The signed *release* APK + Gitea release come
# later (release.yml, M6). See docs/android/PLAN.md §12. # later (release.yml, M6). See docs/android/PLAN.md §12.
# #
@@ -18,9 +18,14 @@
name: PR Checks name: PR Checks
# `edge` is here because a workstream that lands ten phase PRs onto it before one
# cutover PR into `main` otherwise gets NO CI at all until the cutover — which is
# exactly what happened to all nine M12 phase PRs, and would have happened again
# to engagement Phase 8 (ENGAGEMENT.md §7.1 Q8). A phase should fail on its own
# PR, not inside the cutover window with a whole workstream's diff to bisect.
on: on:
pull_request: pull_request:
branches: [main] branches: [main, edge]
concurrency: concurrency:
group: pr-checks-${{ github.ref }} group: pr-checks-${{ github.ref }}