Harden production publish flow #5

Merged
kdletters merged 26 commits from codex/publish-flow into master 2026-05-03 03:47:14 +08:00

26 Commits

Author SHA1 Message Date
27342a8cca Merge remote-tracking branch 'origin/master' into codex/publish-flow
Some checks failed
CI / verify (pull_request) Has been cancelled
# Conflicts:
#	docs/technical/JENKINS_SPACETIMEDB_DATABASE_MIGRATION_PIPELINES_2026-04-29.md
#	docs/technical/README.md
#	jenkins/Jenkinsfile.database-export
#	jenkins/Jenkinsfile.database-import
2026-05-03 03:46:39 +08:00
cc38057c3c chore: harden spacetime publish provisioning
Some checks failed
CI / verify (pull_request) Has been cancelled
2026-05-03 03:38:10 +08:00
62afaf620a fix: publish stdb with service identity 2026-05-03 02:11:44 +08:00
562b5eb720 fix: avoid root spacetime health checks 2026-05-03 02:01:16 +08:00
e0d0531c9c fix: sync spacetimedb binaries during provision 2026-05-03 01:56:24 +08:00
96f13bdfed fix: avoid production spacetimedb port conflict 2026-05-03 00:49:36 +08:00
019c8a2b03 Keep web artifacts on build agent 2026-05-03 00:10:43 +08:00
4358f38259 Install sccache during server provision 2026-05-02 23:56:28 +08:00
98c83478ad Run notification pipeline without build agent 2026-05-02 23:14:57 +08:00
36c81c30be Avoid logging notification recipient secrets 2026-05-02 23:11:27 +08:00
813dbf1fdd Persist notification recipients in Jenkins credentials 2026-05-02 22:47:55 +08:00
39b1141287 Add production email notification pipeline 2026-05-02 22:35:36 +08:00
ace13c7047 Install production build toolchain in provision 2026-05-02 22:10:01 +08:00
73d5ef40ed Isolate Jenkins cargo environment 2026-05-02 21:56:07 +08:00
6c519970b4 Add development HTTP nginx provision mode 2026-05-02 21:20:27 +08:00
e61b1a1586 Split production cargo caches by component 2026-05-02 21:18:59 +08:00
d48916157b Make production builds bootstrap agent dependencies 2026-05-02 20:42:47 +08:00
7160e90909 Guard server provision nginx install 2026-05-02 20:25:01 +08:00
64fda2a677 Handle empty commit hash in Jenkins checkout 2026-05-02 20:01:35 +08:00
0c9e58b75a Enable Jenkins global timestamps for production pipelines 2026-05-02 19:43:17 +08:00
06d6f7716e Use compatible timestamp wrapper in Jenkins pipelines 2026-05-02 19:34:11 +08:00
a53167c872 Keep timestamped production Jenkins logs 2026-05-02 19:30:41 +08:00
23cb37c18a Revert "Remove unsupported Jenkins timestamp option"
This reverts commit ae33f10f17.
2026-05-02 19:29:58 +08:00
ae33f10f17 Remove unsupported Jenkins timestamp option 2026-05-02 19:28:07 +08:00
bdc3257003 Add production Jenkins release pipelines 2026-05-02 19:14:13 +08:00
kdletters
879a53bf8d docs: add production deployment plan 2026-05-02 02:58:14 +08:00