10 commits

Author	SHA1	Message	Date
Bryan Lai	d7253bea6d	doc: polish the docs of checkpointBuildTools ... ... following suggestions from @phip1611 and @infinisil.	2024-01-09 01:34:21 +08:00
Bryan Lai	df62c3c87f	checkpointBuildTools: mkCheckpointedBuild -> mkCheckpointBuild ... All other functions are in the form of `*{c,C}heckpointBuild*`, so we deprecate the `mkCheckpointedBuild` function in favor of `mkCheckpointBuild`. Also address some inconsistencies in the docs: some `buildOutput` should actually be `incrementalBuildArtifacts`.	2024-01-08 19:42:16 +08:00
messemar	5ebb78d952	doc: checkpointBuild: fix wording ... Co-authored-by: Philipp Schuster <phip1611@gmail.com>	2023-12-13 11:15:29 +01:00
Martin Messer	15c2c6827b	checkpointBuild: doc remove textual description in favor of an integrated example	2023-12-12 14:12:15 +01:00
messemar	0d6d654f36	doc: checkpointBuild: fix wording ... Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>	2023-12-12 13:19:21 +01:00
messemar	f61980dbf9	doc: fix typo in checkpoint build section ... Co-authored-by: Markus Partheymueller <markus.partheymueller@cyberus-technology.de>	2023-12-12 10:43:54 +01:00
Martin Messer	0ab2262bdd	checkpointBuild: fix whitespaces in documentation	2023-12-07 17:15:17 +01:00
Martin Messer	6db9612204	rename: incremental -> checkpointed builds	2023-12-07 16:56:16 +01:00
Martin Messer	fc2e3fac61	doc: add section about checkpointed build	2023-12-07 16:55:36 +01:00
Yueh-Shun Li	9963ad5c5f	doc: builders -> build helpers to reduce ambigualty	2023-11-07 19:58:53 +00:00