android

Workflow runs for android

• feat(html): render the later pages of a pdf on demand

  completed successfully:
  android#2129:Commitcaca63epushedbyandiwand
  feat/pdf-pages-on-demand

  Oct 24, 202611m 13s
  More actions for workflow run 2129

• docs: propose how a pdf page loads at level 3 (#1256)

  completed successfully:
  android#2128:Commit9782ea8pushedbyandiwand
  main

  Oct 24, 202613m 53s
  More actions for workflow run 2128

• docs: say that a dual-layer pdf font is already the same for every page

  completed successfully:
  android#2127:Commitc9451bcpushedbyandiwand
  docs/pdf-level-3

  Oct 24, 202612m 5s
  More actions for workflow run 2127

• feat(html): load the later chunks of a sheet on demand (#1255)

  cancelled:
  android#2126:Commitd84ddf4pushedbyandiwand
  main

  Oct 24, 20263m 24s
  More actions for workflow run 2126

• fix(html): list the resources of the sheet rows that load later

  completed successfully:
  android#2125:Commit5c7f446pushedbyandiwand
  feat/sheet-chunks-on-demand

  Oct 24, 202617m 5s
  More actions for workflow run 2125

• docs: propose how a pdf page loads at level 3

  cancelled:
  android#2124:Commita7ee736pushedbyandiwand
  docs/pdf-level-3

  Oct 24, 20268m 17s
  More actions for workflow run 2124

• test: advance the reference output to the sheet chunk loader

  cancelled:
  android#2123:Commitfe0eac0pushedbyandiwand
  feat/sheet-chunks-on-demand

  Oct 24, 20267m 36s
  More actions for workflow run 2123

• test: advance the reference output to the sheet chunk loader

  cancelled:
  android#2122:Commitb5bd090pushedbyandiwand
  feat/sheet-chunks-on-demand

  Oct 24, 20265m 0s
  More actions for workflow run 2122

• fix(html): read the chunk index from a checked optional (#1254)

  completed successfully:
  android#2121:Commit24f2785pushedbyandiwand
  main

  Oct 24, 202610m 35s
  More actions for workflow run 2121

• fix(html): read the chunk index from a checked optional

  completed successfully:
  android#2120:Commit0bd9624pushedbyandiwand
  fix/chunk-optional-tidy

  Oct 24, 20269m 16s
  More actions for workflow run 2120

• feat(html): load the later chunks of a text file on demand (#1253)

  completed successfully:
  android#2119:Commitda95c16pushedbyandiwand
  main

  Oct 24, 202610m 14s
  More actions for workflow run 2119

• docs: add chunks as HTML fragments over HTTP to the open questions

  completed successfully:
  android#2118:Commitc0fe15apushedbyandiwand
  feat/text-chunks-on-demand

  Oct 24, 20267m 37s
  More actions for workflow run 2118

• refactor(html): read the index of a chunk path with std::from_chars

  completed successfully:
  android#2117:Commit5466bd9pushedbyandiwand
  feat/text-chunks-on-demand

  Oct 24, 20267m 7s
  More actions for workflow run 2117

• fix(html): render the text of an edit in a text file

  completed successfully:
  android#2116:Commit4a435bapushedbyandiwand
  feat/text-chunks-on-demand

  Oct 24, 20269m 40s
  More actions for workflow run 2116

• fix(html): give each chunk of a text file one path

  cancelled:
  android#2115:Commit949b946pushedbyandiwand
  feat/text-chunks-on-demand

  Oct 24, 202614m 53s
  More actions for workflow run 2115

• fix(html): probe the text size adjustment in a document of its own (#…

  completed successfully:
  android#2114:Commitc6f086apushedbyandiwand
  main

  Oct 24, 202619m 53s
  More actions for workflow run 2114

• test: advance the reference output to the chunk loader

  cancelled:
  android#2113:Commit93ad5dcpushedbyandiwand
  feat/text-chunks-on-demand

  Oct 24, 20265m 3s
  More actions for workflow run 2113

• docs: name the times that the 1.8 s of the probe lies between

  completed successfully:
  android#2112:Commitf98b383pushedbyandiwand
  fix/viewport-zoom-probe

  Oct 24, 202627m 29s
  More actions for workflow run 2112

• feat(html): add a switch for lazy layout (#1251)

  cancelled:
  android#2111:Commit2bd865fpushedbyandiwand
  main

  Oct 24, 202612m 9s
  More actions for workflow run 2111

• docs: add the lazy layout and its switch to the changelog

  completed successfully:
  android#2110:Commitb0620d8pushedbyandiwand
  feat/lazy-layout-switch

  Oct 24, 202621m 40s
  More actions for workflow run 2110

• fix(html): probe the text size adjustment in a document of its own

  cancelled:
  android#2109:Commit80909a2pushedbyandiwand
  fix/viewport-zoom-probe

  Oct 24, 20264m 52s
  More actions for workflow run 2109

• test: advance the reference output to the lazy layout switch

  cancelled:
  android#2108:Commit769f539pushedbyandiwand
  feat/lazy-layout-switch

  Oct 24, 20261m 42s
  More actions for workflow run 2108

• feat(html): lay out only the chunks of a sheet near the viewport (#1250)

  cancelled:
  android#2107:Commit2bb0f8cpushedbyandiwand
  main

  Oct 24, 20264m 51s
  More actions for workflow run 2107

• fix(html): probe the text size adjustment in a document of its own

  completed successfully:
  android#2106:Commita98c698pushedbyandiwand
  fix/viewport-zoom-probe

  Oct 24, 20267m 5s
  More actions for workflow run 2106

• test: advance the reference output to the lazy layout switch

  completed successfully:
  android#2105:Commitad29921pushedbyandiwand
  feat/lazy-layout-switch

  Oct 24, 20267m 55s
  More actions for workflow run 2105