All workflows

Workflow runs

• Scan for updates

  completed successfully:
  Scan for updates#40366:Scheduled
  main

  Nov 5, 20262m 43s
  More actions for workflow run 40366

• Scan for updates

  completed successfully:
  Scan for updates#40365:Scheduled
  main

  Nov 5, 20262m 49s
  More actions for workflow run 40365

• Scan for updates

  completed successfully:
  Scan for updates#40364:Scheduled
  main

  Nov 5, 20262m 35s
  More actions for workflow run 40364

• Scan for updates

  completed successfully:
  Scan for updates#40363:Scheduled
  main

  Nov 5, 20262m 3s
  More actions for workflow run 40363

• Scan for updates

  completed successfully:
  Scan for updates#40362:Scheduled
  main

  Nov 5, 20262m 36s
  More actions for workflow run 40362

• Scan for updates

  completed successfully:
  Scan for updates#40361:Scheduled
  main

  Nov 5, 20262m 17s
  More actions for workflow run 40361

• Scan for updates

  completed successfully:
  Scan for updates#40360:Scheduled
  main

  Nov 5, 20265m 52s
  More actions for workflow run 40360

• Scan for updates

  completed successfully:
  Scan for updates#40359:Scheduled
  main

  Nov 5, 20263m 1s
  More actions for workflow run 40359

• Scan for updates

  completed successfully:
  Scan for updates#40358:Scheduled
  main

  Nov 5, 20264m 17s
  More actions for workflow run 40358

• Scan for updates

  completed successfully:
  Scan for updates#40357:Scheduled
  main

  Nov 5, 20262m 30s
  More actions for workflow run 40357

• Scan for updates

  completed successfully:
  Scan for updates#40356:Scheduled
  main

  Nov 5, 20263m 21s
  More actions for workflow run 40356

• Scan for updates

  completed successfully:
  Scan for updates#40355:Scheduled
  main

  Nov 5, 20262m 2s
  More actions for workflow run 40355

• [cap_project] Update GeneralizedMorphismsForCAP to 2026.10-02

  failed:
  PR#3031:Pull request#1600synchronizebygap-package-distribution-bot[bot]Bot
  automatic/cap_project

  Nov 5, 202639m 49s
  More actions for workflow run 3031

• Scan for updates

  completed successfully:
  Scan for updates#40354:Scheduled
  main

  Nov 5, 20261m 58s
  More actions for workflow run 40354

• [cap_project] Update GeneralizedMorphismsForCAP to 2026.10-02

  failed:
  PR#3030:Pull request#1600synchronizebygap-package-distribution-bot[bot]Bot
  automatic/cap_project

  Nov 5, 20261m 5s
  More actions for workflow run 3030

• Scan for updates

  completed successfully:
  Scan for updates#40353:Scheduled
  main

  Nov 5, 20263m 3s
  More actions for workflow run 40353

• Scan for updates

  completed successfully:
  Scan for updates#40352:Scheduled
  main

  Nov 5, 20262m 24s
  More actions for workflow run 40352

• Scan for updates

  completed successfully:
  Scan for updates#40351:Scheduled
  main

  Nov 5, 20262m 27s
  More actions for workflow run 40351

• Scan for updates

  completed successfully:
  Scan for updates#40350:Scheduled
  main

  Nov 5, 20262m 13s
  More actions for workflow run 40350

• Scan for updates

  completed successfully:
  Scan for updates#40349:Scheduled
  main

  Nov 5, 20262m 10s
  More actions for workflow run 40349

• Update overview page

  completed successfully:
  Update overview page#188:Scheduled
  main

  Nov 5, 202637s
  More actions for workflow run 188

• Scan for updates

  completed successfully:
  Scan for updates#40348:Scheduled
  main

  Nov 5, 20262m 20s
  More actions for workflow run 40348

• Scan for updates

  completed successfully:
  Scan for updates#40347:Scheduled
  main

  Nov 5, 20262m 6s
  More actions for workflow run 40347

• pages build and deployment

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

  Nov 5, 202641s

• Scan for updates

  completed successfully:
  Scan for updates#40346:Scheduled
  main

  Nov 5, 20262m 48s
  More actions for workflow run 40346