Docs build

Workflow runs for Docs build

• Close idle advanced API sessions even with an open cursor

  completed successfully:
  Docs build#37:Pull request#2734synchronizebyjh-RLI
  hotfix-advanced-session-idle

  Oct 21, 202639s
  More actions for workflow run 37

• Close idle advanced API sessions even with an open cursor

  completed successfully:
  Docs build#36:Pull request#2734openedbyjh-RLI
  hotfix-advanced-session-idle

  Oct 21, 202632s
  More actions for workflow run 36

• Guide every visitor from the documentation Home

  completed successfully:
  Docs build#35:Pull request#2730openedbyjh-RLI
  docs-home-guides-every-visitor

  Oct 19, 202629s
  More actions for workflow run 35

• Release v1.11.0

  completed successfully:
  Docs build#34:Pull request#2727openedbyjh-RLI
  release-v1.11.0

  Oct 19, 202627s
  More actions for workflow run 34

• Correct the Podman deployment guide after a review

  completed successfully:
  Docs build#33:Pull request#2726openedbyjh-RLI
  docs-podman-guide-review

  Oct 15, 202632s
  More actions for workflow run 33

• Keep a filled-in oep.env out of the production image

  completed successfully:
  Docs build#32:Pull request#2724synchronizebyjh-RLI
  fix-dockerignore-oep-env

  Oct 14, 202626s
  More actions for workflow run 32

• Configure the RegApp sign-in from the environment

  completed successfully:
  Docs build#31:Pull request#2723synchronizebyjh-RLI
  feature-oidc-provider-from-env

  Oct 14, 202654s
  More actions for workflow run 31

• Keep a filled-in oep.env out of the production image

  completed successfully:
  Docs build#30:Pull request#2724synchronizebyjh-RLI
  fix-dockerignore-oep-env

  Oct 14, 202630s
  More actions for workflow run 30

• Keep a filled-in oep.env out of the production image

  completed successfully:
  Docs build#29:Pull request#2724openedbyjh-RLI
  fix-dockerignore-oep-env

  Oct 14, 202626s
  More actions for workflow run 29

• Configure the RegApp sign-in from the environment

  completed successfully:
  Docs build#28:Pull request#2723synchronizebyjh-RLI
  feature-oidc-provider-from-env

  Oct 14, 202623s
  More actions for workflow run 28

• Configure the RegApp sign-in from the environment

  completed successfully:
  Docs build#27:Pull request#2723openedbyjh-RLI
  feature-oidc-provider-from-env

  Oct 14, 202629s
  More actions for workflow run 27

• Watch security as well as uptime in the Podman monitoring

  completed successfully:
  Docs build#26:Pull request#2722openedbyjh-RLI
  feature-2412-security-monitoring

  Oct 14, 202624s
  More actions for workflow run 26

• Keep Fuseki's data in its volume across restarts

  completed successfully:
  Docs build#25:Pull request#2720synchronizebyjh-RLI
  fix-fuseki-volume-path

  Oct 14, 202628s
  More actions for workflow run 25

• Keep Fuseki's data in its volume across restarts

  completed successfully:
  Docs build#24:Pull request#2720openedbyjh-RLI
  fix-fuseki-volume-path

  Oct 14, 202626s
  More actions for workflow run 24

• Add a first monitoring stack for the Podman deployment

  completed successfully:
  Docs build#23:Pull request#2716synchronizebyjh-RLI
  feature-2412-minimal-monitoring

  Oct 14, 202625s
  More actions for workflow run 23

• Add a first monitoring stack for the Podman deployment

  completed successfully:
  Docs build#22:Pull request#2716synchronizebyjh-RLI
  feature-2412-minimal-monitoring

  Oct 14, 202623s
  More actions for workflow run 22

• Add a first monitoring stack for the Podman deployment

  completed successfully:
  Docs build#21:Pull request#2716openedbyjh-RLI
  feature-2412-minimal-monitoring

  Oct 14, 202630s
  More actions for workflow run 21

• Delete the legacy theme layer and dead code (#2660)

  completed successfully:
  Docs build#20:Pull request#2715synchronizebyjh-RLI
  feature-2660-legacy-cleanup

  Oct 13, 202626s
  More actions for workflow run 20

• Delete the legacy theme layer and dead code (#2660)

  completed successfully:
  Docs build#19:Pull request#2715openedbyjh-RLI
  feature-2660-legacy-cleanup

  Oct 13, 202629s
  More actions for workflow run 19

• Edit the profile in place on Settings (#2654)

  completed successfully:
  Docs build#18:Pull request#2712synchronizebyjh-RLI
  feature-2654-edit-in-place

  Oct 13, 202630s
  More actions for workflow run 18

• Edit the profile in place on Settings (#2654)

  completed successfully:
  Docs build#17:Pull request#2712synchronizebyjh-RLI
  feature-2654-edit-in-place

  Oct 13, 202624s
  More actions for workflow run 17

• Dashboard lists on house tokens (#2659)

  completed successfully:
  Docs build#16:Pull request#2711synchronizebyjh-RLI
  feature-2659-dashboard-lists

  Oct 13, 202624s
  More actions for workflow run 16

• Edit the profile in place on Settings (#2654)

  completed successfully:
  Docs build#15:Pull request#2712openedbyjh-RLI
  feature-2654-edit-in-place

  Oct 13, 202626s
  More actions for workflow run 15

• Navbar user menu (#2644)

  completed successfully:
  Docs build#14:Pull request#2707synchronizebyjh-RLI
  feature-2644-user-menu

  Oct 13, 202626s
  More actions for workflow run 14

• Navbar user menu (#2644)

  completed successfully:
  Docs build#13:Pull request#2707synchronizebyjh-RLI
  feature-2644-user-menu

  Oct 13, 202624s
  More actions for workflow run 13