All workflows

Workflow runs

• pages build and deployment

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

  Oct 29, 202657s

• Archive Issues and Pull Requests

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

  Oct 29, 202619s
  More actions for workflow run 172

• pages build and deployment

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

  Oct 27, 202653s

• Archive Issues and Pull Requests

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

  Oct 27, 202630s
  More actions for workflow run 171

• pages build and deployment

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

  Oct 25, 202647s

• Archive Issues and Pull Requests

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

  Oct 25, 202618s
  More actions for workflow run 170

• pages build and deployment

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

  Oct 22, 202639s

• Archive Issues and Pull Requests

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

  Oct 22, 202621s
  More actions for workflow run 169

• pages build and deployment

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

  Oct 20, 202641s

• Archive Issues and Pull Requests

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

  Oct 20, 202628s
  More actions for workflow run 168

• pages build and deployment

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

  Oct 18, 202637s

• Archive Issues and Pull Requests

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

  Oct 18, 202625s
  More actions for workflow run 167

• pages build and deployment

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

  Oct 15, 202637s

• Archive Issues and Pull Requests

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

  Oct 15, 202619s
  More actions for workflow run 166

• pages build and deployment

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

  Oct 13, 202642s

• Archive Issues and Pull Requests

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

  Oct 13, 202616s
  More actions for workflow run 165

• pages build and deployment

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

  Oct 11, 202641s

• Archive Issues and Pull Requests

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

  Oct 11, 202620s
  More actions for workflow run 164

• pages build and deployment

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

  Oct 8, 202643s

• Archive Issues and Pull Requests

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

  Oct 8, 202618s
  More actions for workflow run 163

• pages build and deployment

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

  Oct 6, 202641s

• Archive Issues and Pull Requests

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

  Oct 6, 202653s
  More actions for workflow run 162

• pages build and deployment

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

  Oct 4, 202647s

• Add pseudocode tags

  completed successfully:
  Publish New Draft Version#8:Commite69e7a9pushedbyjedisct1
  draft-denis-uricrypt-05

  Oct 4, 202623s
  More actions for workflow run 8

• Add pseudocode tags

  completed successfully:
  Update Editor's Copy#84:Commite69e7a9pushedbyjedisct1
  draft-denis-uricrypt-05

  Oct 4, 202622s
  More actions for workflow run 84