All workflows

Workflow runs

• pages build and deployment

  completed successfully:
  pages-build-deployment#12:bygithub-pages[bot]Bot
  gh-pages

  Nov 1, 202645s

• Publish Web Site

  completed successfully:
  Publish Web Site#28:Scheduled
  master

  Nov 1, 202647s
  More actions for workflow run 28

• pages build and deployment

  completed successfully:
  pages-build-deployment#11:bygithub-pages[bot]Bot
  gh-pages

  Oct 19, 20263m 45s

• Give the generated manuals a documentation-site layout.

  completed successfully:
  Publish Web Site#27:Commitbaf0dcepushedbysobomax
  master

  Oct 19, 20264m 10s
  More actions for workflow run 27

• Give the generated manuals a documentation-site layout.

  completed successfully:
  Publish Web Site#26:Commitbaf0dcepushedbysobomax
  facelift

  Oct 19, 20262m 58s
  More actions for workflow run 26

• pages build and deployment

  completed successfully:
  pages-build-deployment#10:bygithub-pages[bot]Bot
  gh-pages

  Oct 19, 20262m 11s

• Redesign the site and drop the Herring Cove theme.

  completed successfully:
  Publish Web Site#25:Commitf14a439pushedbysobomax
  master

  Oct 19, 20261m 7s
  More actions for workflow run 25

• Redesign the site and drop the Herring Cove theme.

  completed successfully:
  Publish Web Site#24:Commitf14a439pushedbysobomax
  facelift

  Oct 19, 202645s
  More actions for workflow run 24

• pages build and deployment

  completed successfully:
  pages-build-deployment#9:bygithub-pages[bot]Bot
  gh-pages

  Oct 18, 20264m 34s

• pages build and deployment

  completed successfully:
  pages-build-deployment#8:bygithub-pages[bot]Bot
  gh-pages

  Oct 17, 202650s

• Add manual pages to the navigation menu.

  completed successfully:
  Publish Web Site#23:Commit8e17200pushedbysobomax
  master

  Oct 17, 202638s
  More actions for workflow run 23

• pages build and deployment

  completed successfully:
  pages-build-deployment#7:bygithub-pages[bot]Bot
  gh-pages

  Oct 17, 202645s

• Add manual pages to the navigation menu.

  completed successfully:
  Publish Web Site#22:Commit8e17200pushedbysobomax
  gha_move

  Oct 17, 202646s
  More actions for workflow run 22

• Add manual pages to the navigation menu.

  completed successfully:
  Publish Web Site#21:Commit9fdc139pushedbysobomax
  master

  Oct 17, 202653s
  More actions for workflow run 21

• Add manual pages to the navigation menu.

  completed successfully:
  Publish Web Site#20:Commit9fdc139pushedbysobomax
  gha_move

  Oct 17, 202642s
  More actions for workflow run 20

• Add manual pages to the navigation menu.

  completed successfully:
  Publish Web Site#19:Commite53551bpushedbysobomax
  gha_move

  Oct 17, 202636s
  More actions for workflow run 19

• pages build and deployment

  completed successfully:
  pages-build-deployment#6:bygithub-pages[bot]Bot
  gh-pages

  Oct 17, 202641s

• Add manual pages to the navigation menu.

  completed successfully:
  Publish Web Site#18:Commit63e9a5apushedbysobomax
  master

  Oct 17, 202646s
  More actions for workflow run 18

• Add manual pages to the navigation menu.

  completed successfully:
  Publish Web Site#17:Commit63e9a5apushedbysobomax
  gha_move

  Oct 17, 202644s
  More actions for workflow run 17

• pages build and deployment

  completed successfully:
  pages-build-deployment#5:bygithub-pages[bot]Bot
  gh-pages

  Oct 17, 20261m 38s

• Add manual pages to the navigation menu.

  completed successfully:
  Publish Web Site#16:Commit44589bapushedbysobomax
  master

  Oct 17, 202645s
  More actions for workflow run 16

• Add manual pages to the navigation menu.

  completed successfully:
  Publish Web Site#15:Commit44589bapushedbysobomax
  gha_move

  Oct 17, 202635s
  More actions for workflow run 15

• pages build and deployment

  completed successfully:
  pages-build-deployment#4:bygithub-pages[bot]Bot
  gh-pages

  Oct 17, 202643s

• Add manual pages to the navigation menu.

  completed successfully:
  Publish Web Site#14:Commit93c4249pushedbysobomax
  master

  Oct 17, 202643s
  More actions for workflow run 14

• Add manual pages to the navigation menu.

  completed successfully:
  Publish Web Site#13:Commit93c4249pushedbysobomax
  gha_move

  Oct 17, 202642s
  More actions for workflow run 13