All workflows

Workflow runs

• Update

  currently running:
  Update#2742:Scheduled
  master

  Nov 8, 2026In progress
  More actions for workflow run 2742

• pages build and deployment

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

  Nov 7, 202625s

• Automatic updates

  completed successfully:
  Publish#2369:Commit05d98fcpushedbybastianeicher
  master

  Nov 7, 202656s
  More actions for workflow run 2369

• Automatic updates

  failed:
  Verify#304:Pull request#1510openedbygithub-actions[bot]Bot
  automatic-updates

  Nov 7, 20262h 1m 8s
  More actions for workflow run 304

• Update

  completed successfully:
  Update#2741:Scheduled
  master

  Nov 7, 202617m 0s
  More actions for workflow run 2741

• pages build and deployment

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

  Nov 6, 20263m 53s

• Automatic updates

  completed successfully:
  Publish#2368:Commitc1d455bpushedbybastianeicher
  master

  Nov 6, 202652s
  More actions for workflow run 2368

• Automatic updates

  failed:
  Verify#303:Pull request#1509openedbygithub-actions[bot]Bot
  automatic-updates

  Nov 6, 20263h 5m 39s
  More actions for workflow run 303

• Update

  completed successfully:
  Update#2740:Scheduled
  master

  Nov 6, 202621m 25s
  More actions for workflow run 2740

• Update

  failed:
  Update#2739:Scheduled
  master

  Nov 5, 202613m 23s
  More actions for workflow run 2739

• pages build and deployment

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

  Nov 4, 202628s

• Incoming

  completed successfully:
  Incoming#192:Manually runbybastianeicher
  master

  Nov 4, 202657s
  More actions for workflow run 192

• pages build and deployment

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

  Nov 4, 202633s

• Automatic updates

  completed successfully:
  Publish#2367:Commitb399b40pushedbybastianeicher
  master

  Nov 4, 202652s
  More actions for workflow run 2367

• Automatic updates

  failed:
  Verify#302:Pull request#1508openedbygithub-actions[bot]Bot
  automatic-updates

  Nov 4, 202611m 41s
  More actions for workflow run 302

• Update

  completed successfully:
  Update#2738:Scheduled
  master

  Nov 4, 202616m 1s
  More actions for workflow run 2738

• pages build and deployment

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

  Nov 3, 20261m 26s

• Automatic updates

  completed successfully:
  Publish#2366:Commitb1b8626pushedbybastianeicher
  master

  Nov 3, 202657s
  More actions for workflow run 2366

• Automatic updates

  failed:
  Verify#301:Pull request#1507openedbygithub-actions[bot]Bot
  automatic-updates

  Nov 3, 202614m 11s
  More actions for workflow run 301

• Update

  completed successfully:
  Update#2737:Scheduled
  master

  Nov 3, 202615m 35s
  More actions for workflow run 2737

• pages build and deployment

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

  Nov 3, 202625s

• Incoming

  completed successfully:
  Incoming#191:Manually runbybastianeicher
  master

  Nov 3, 20261m 1s
  More actions for workflow run 191

• pages build and deployment

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

  Nov 3, 20261m 21s

• pages build and deployment

  cancelled:
  pages-build-deployment#1728:bygithub-pages[bot]Bot
  gh-pages

  Nov 3, 20261m 30s

• Incoming

  completed successfully:
  Incoming#190:Manually runbybastianeicher
  master

  Nov 3, 20261m 20s
  More actions for workflow run 190