All workflows

Workflow runs

• pages build and deployment

  completed successfully:
  pages-build-deployment#43:bygithub-pages[bot]Bot
  main

  Oct 21, 202640s

• crawl

  completed successfully:
  crawl#26:Scheduled
  main

  Oct 21, 202627m 12s
  More actions for workflow run 26

• pages build and deployment

  completed successfully:
  pages-build-deployment#42:bydevohmycode
  main

  Oct 21, 202633s

• pages build and deployment

  completed successfully:
  pages-build-deployment#41:bydevohmycode
  main

  Oct 21, 202639s

• ci: check that files copied across the three atlases stay identical

  completed successfully:
  shared files#2:Pull request#20synchronizebydevohmycode
  chore/shared-drift-check

  Oct 21, 202613s
  More actions for workflow run 2

• ci: check shell completion in bash, zsh, fish and PowerShell

  completed successfully:
  completion#3:Commitc9fbfb0pushedbydevohmycode
  main

  Oct 21, 202637s
  More actions for workflow run 3

• pages build and deployment

  completed successfully:
  pages-build-deployment#40:bydevohmycode
  main

  Oct 21, 20261m 0s

• ci: check shell completion in bash, zsh, fish and PowerShell

  completed successfully:
  completion#2:Pull request#19synchronizebydevohmycode
  ci/shell-completion

  Oct 21, 202635s
  More actions for workflow run 2

• pages build and deployment

  completed successfully:
  pages-build-deployment#39:bydevohmycode
  main

  Oct 21, 20261m 0s

• pages build and deployment

  completed successfully:
  pages-build-deployment#38:bydevohmycode
  main

  Oct 21, 202641s

• pages build and deployment

  completed successfully:
  pages-build-deployment#37:bydevohmycode
  main

  Oct 21, 202651s

• pages build and deployment

  completed successfully:
  pages-build-deployment#36:bydevohmycode
  main

  Oct 21, 202634s

• pages build and deployment

  completed successfully:
  pages-build-deployment#35:bydevohmycode
  main

  Oct 21, 202636s

• pages build and deployment

  completed successfully:
  pages-build-deployment#34:bydevohmycode
  main

  Oct 21, 202637s

• pages build and deployment

  completed successfully:
  pages-build-deployment#33:bydevohmycode
  main

  Oct 21, 202641s

• pages build and deployment

  completed successfully:
  pages-build-deployment#32:bydevohmycode
  main

  Oct 21, 202635s

• pages build and deployment

  completed successfully:
  pages-build-deployment#31:bydevohmycode
  main

  Oct 21, 202638s

• ci: check that files copied across the three atlases stay identical

  completed successfully:
  shared files#1:Pull request#20openedbydevohmycode
  chore/shared-drift-check

  Oct 20, 202617s
  More actions for workflow run 1

• ci: check shell completion in bash, zsh, fish and PowerShell

  completed successfully:
  completion#1:Pull request#19openedbydevohmycode
  ci/shell-completion

  Oct 20, 202628s
  More actions for workflow run 1

• pages build and deployment

  completed successfully:
  pages-build-deployment#30:bydevohmycode
  main

  Oct 20, 202639s

• pages build and deployment

  completed successfully:
  pages-build-deployment#29:bydevohmycode
  main

  Oct 19, 202634s

• pages build and deployment

  completed successfully:
  pages-build-deployment#28:bygithub-pages[bot]Bot
  main

  Oct 19, 202641s

• crawl

  completed successfully:
  crawl#25:Scheduled
  main

  Oct 19, 202624m 27s
  More actions for workflow run 25

• pages build and deployment

  completed successfully:
  pages-build-deployment#27:bydevohmycode
  main

  Oct 18, 202646s

• pages build and deployment

  completed successfully:
  pages-build-deployment#26:bydevohmycode
  main

  Oct 18, 20261m 0s