All workflows

Workflow runs

• pages build and deployment

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

  Nov 8, 202635s

• Archive Issues and Pull Requests

  completed successfully:
  Archive Issues and Pull Requests#500:Scheduled
  main

  Nov 8, 202620s
  More actions for workflow run 500

• pages build and deployment

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

  Nov 5, 202640s

• Archive Issues and Pull Requests

  completed successfully:
  Archive Issues and Pull Requests#499:Scheduled
  main

  Nov 5, 202627s
  More actions for workflow run 499

• pages build and deployment

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

  Nov 4, 20261m 22s

• update auth-realms

  completed successfully:
  Update Editor's Copy#21:Commitf43dee7pushedbymnot
  main

  Nov 4, 202626s
  More actions for workflow run 21

• pages build and deployment

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

  Nov 4, 202642s

• nit

  completed successfully:
  Update Editor's Copy#20:Commitf0b1834pushedbymnot
  main

  Nov 4, 202621s
  More actions for workflow run 20

• pages build and deployment

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

  Nov 4, 202652s

• requirement

  completed successfully:
  Update Editor's Copy#19:Commit4e2b377pushedbymnot
  main

  Nov 4, 202627s
  More actions for workflow run 19

• pages build and deployment

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

  Nov 4, 202636s

• more tweaks

  completed successfully:
  Update Editor's Copy#18:Commit3bebcd5pushedbymnot
  main

  Nov 4, 202627s
  More actions for workflow run 18

• pages build and deployment

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

  Nov 4, 202638s

• Switch away from SF

  completed successfully:
  Update Editor's Copy#17:Commit51e413bpushedbymnot
  main

  Nov 4, 202627s
  More actions for workflow run 17

• pages build and deployment

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

  Nov 3, 202640s

• both kinds of freshness

  completed successfully:
  Update Editor's Copy#16:Commitb36c788pushedbymnot
  main

  Nov 3, 202623s
  More actions for workflow run 16

• pages build and deployment

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

  Nov 3, 202649s

• Archive Issues and Pull Requests

  completed successfully:
  Archive Issues and Pull Requests#498:Scheduled
  main

  Nov 3, 202621s
  More actions for workflow run 498

• pages build and deployment

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

  Nov 1, 202638s

• Archive Issues and Pull Requests

  completed successfully:
  Archive Issues and Pull Requests#497:Scheduled
  main

  Nov 1, 202624s
  More actions for workflow run 497

• pages build and deployment

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

  Oct 29, 202639s

• Archive Issues and Pull Requests

  completed successfully:
  Archive Issues and Pull Requests#496:Scheduled
  main

  Oct 29, 202617s
  More actions for workflow run 496

• pages build and deployment

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

  Oct 27, 202643s

• Archive Issues and Pull Requests

  completed successfully:
  Archive Issues and Pull Requests#495:Scheduled
  main

  Oct 27, 202626s
  More actions for workflow run 495

• pages build and deployment

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

  Oct 25, 202657s