All workflows

Workflow runs

• pages build and deployment

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

  Nov 1, 20262m 3s

• Deploy Staging Root

  completed successfully:
  Deploy Staging Root#5:Manually runbygithub-actions[bot]Bot
  main

  Nov 1, 202620s
  More actions for workflow run 5

• pages build and deployment

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

  Nov 1, 202647s

• Remove Preview

  completed successfully:
  Remove Preview#12:Manually runbyinterlisp-staging-bot[bot]Bot
  main

  Nov 1, 202621s
  More actions for workflow run 12

• pages build and deployment

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

  Nov 1, 20261m 56s

• Deploy Staging Root

  completed successfully:
  Deploy Staging Root#4:Scheduled
  main

  Nov 1, 202622s
  More actions for workflow run 4

• pages build and deployment

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

  Nov 1, 20261m 56s

• Merge pull request #12 from Interlisp/fixPathFor404s_v4

  completed successfully:
  Validate Staging Root#5:Commite92377cpushedbystumbo
  main

  Nov 1, 202610s
  More actions for workflow run 5

• Merge pull request #12 from Interlisp/fixPathFor404s_v4

  completed successfully:
  Deploy Staging Root#3:Commite92377cpushedbystumbo
  main

  Nov 1, 202617s
  More actions for workflow run 3

• Load each preview's own 404 page

  completed successfully:
  Validate Staging Root#4:Pull request#12openedbystumbo
  fixPathFor404s_v4

  Nov 1, 20269s
  More actions for workflow run 4

• pages build and deployment

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

  Nov 1, 20261m 52s

• Deploy Staging Root

  completed successfully:
  Deploy Staging Root#2:Manually runbygithub-actions[bot]Bot
  main

  Nov 1, 202622s
  More actions for workflow run 2

• Prune Stale Previews

  completed successfully:
  Prune Stale Previews#80:Scheduled
  main

  Nov 1, 202622s
  More actions for workflow run 80

• pages build and deployment

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

  Nov 1, 20261m 33s

• Merge pull request #11 from Interlisp/fixPathFor404s_v3

  completed successfully:
  Deploy Staging Root#1:Commita9dcd87pushedbystumbo
  main

  Nov 1, 20261m 46s
  More actions for workflow run 1

• Merge pull request #11 from Interlisp/fixPathFor404s_v3

  completed successfully:
  Validate Staging Root#3:Commita9dcd87pushedbystumbo
  main

  Nov 1, 202611s
  More actions for workflow run 3

• Update staging site.

  completed successfully:
  Validate Staging Root#2:Pull request#11synchronizebystumbo
  fixPathFor404s_v3

  Oct 31, 202611s
  More actions for workflow run 2

• Update staging site.

  failed:
  Validate Staging Root#1:Pull request#11openedbystumbo
  fixPathFor404s_v3

  Oct 31, 202610s
  More actions for workflow run 1

• Prune Stale Previews

  completed successfully:
  Prune Stale Previews#79:Scheduled
  main

  Oct 31, 202623s
  More actions for workflow run 79

• Prune Stale Previews

  completed successfully:
  Prune Stale Previews#78:Scheduled
  main

  Oct 30, 202633s
  More actions for workflow run 78

• Prune Stale Previews

  completed successfully:
  Prune Stale Previews#77:Scheduled
  main

  Oct 29, 202620s
  More actions for workflow run 77

• pages build and deployment

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

  Oct 29, 20261m 59s

• pages build and deployment

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

  Oct 29, 202619s

• Deploy Preview

  completed successfully:
  Deploy Preview#52:Manually runbyinterlisp-staging-bot[bot]Bot
  main

  Oct 29, 20262m 45s
  More actions for workflow run 52

• pages build and deployment

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

  Oct 28, 20262m 4s