All workflows

Workflow runs

• pages build and deployment

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

  Nov 10, 202627s

• 01 Maintain: Build and Deploy Site

  completed successfully:
  01 Maintain: Build and Deploy Site#13:Scheduled
  main

  Nov 10, 20261m 30s
  More actions for workflow run 13

• pages build and deployment

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

  Nov 3, 202626s

• 01 Maintain: Build and Deploy Site

  completed successfully:
  01 Maintain: Build and Deploy Site#12:Scheduled
  main

  Nov 3, 20261m 42s
  More actions for workflow run 12

• pages build and deployment

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

  Oct 27, 202644s

• 01 Maintain: Build and Deploy Site

  completed successfully:
  01 Maintain: Build and Deploy Site#11:Scheduled
  main

  Oct 27, 20261m 45s
  More actions for workflow run 11

• pages build and deployment

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

  Oct 20, 202631s

• 01 Maintain: Build and Deploy Site

  completed successfully:
  01 Maintain: Build and Deploy Site#10:Scheduled
  main

  Oct 20, 20261m 44s
  More actions for workflow run 10

• pages build and deployment

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

  Oct 13, 202622s

• 01 Maintain: Build and Deploy Site

  completed successfully:
  01 Maintain: Build and Deploy Site#9:Scheduled
  main

  Oct 13, 20261m 41s
  More actions for workflow run 9

• pages build and deployment

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

  Oct 6, 202632s

• 01 Maintain: Build and Deploy Site

  completed successfully:
  01 Maintain: Build and Deploy Site#8:Scheduled
  main

  Oct 6, 20261m 53s
  More actions for workflow run 8

• pages build and deployment

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

  Oct 3, 202624s

• 01 Maintain: Build and Deploy Site

  completed successfully:
  01 Maintain: Build and Deploy Site#7:completedbyjt14den
  Oct 3, 20262m 0s
  More actions for workflow run 7

• Bot: Remove Temporary PR Branch

  completed successfully:
  Bot: Remove Temporary PR Branch#6:completedbyjt14den
  Oct 3, 202610s
  More actions for workflow run 6

• 01 Maintain: Build and Deploy Site

  cancelled:
  01 Maintain: Build and Deploy Site#6:completedbyjt14den
  Oct 3, 202623s
  More actions for workflow run 6

• Revise lesson from UMass pilot feedback: six episodes, verification-focused Tools episode

  completed successfully:
  03 Maintain: Apply Package Cache#3:Pull request#11closedbyjt14den
  jt14den:umass-pilot-feedback-fixes

  Oct 3, 202626s
  More actions for workflow run 3

• Revise lesson from UMass pilot feedback: six episodes, verification-focused Tools episode

  completed successfully:
  Bot: Send Close Pull Request Signal#6:Pull request#11closedbyjt14den
  jt14den:umass-pilot-feedback-fixes

  Oct 3, 20267s
  More actions for workflow run 6

• Merge pull request #11 from jt14den/umass-pilot-feedback-fixes

  cancelled:
  01 Maintain: Build and Deploy Site#5:Commit157eff8pushedbyjt14den
  main

  Oct 3, 202611s
  More actions for workflow run 5

• Bot: Remove Temporary PR Branch

  completed successfully:
  Bot: Remove Temporary PR Branch#5:completedbyjt14den
  Oct 3, 202610s
  More actions for workflow run 5

• Docs: Add CITATION.cff

  completed successfully:
  03 Maintain: Apply Package Cache#2:Pull request#4closedbyjt14den
  jt14den:add-citation-cff

  Oct 3, 202621s
  More actions for workflow run 2

• Docs: Add CITATION.cff

  completed successfully:
  Bot: Send Close Pull Request Signal#5:Pull request#4closedbyjt14den
  jt14den:add-citation-cff

  Oct 3, 20268s
  More actions for workflow run 5

• Merge pull request #4 from jt14den/add-citation-cff

  cancelled:
  01 Maintain: Build and Deploy Site#4:Commitc06864bpushedbyjt14den
  main

  Oct 3, 202616s
  More actions for workflow run 4

• Bot: Comment on the Pull Request

  completed successfully:
  Bot: Comment on the Pull Request#7:completedbyjt14den
  Oct 1, 202633s
  More actions for workflow run 7

• Bot: Comment on the Pull Request

  completed successfully:
  Bot: Comment on the Pull Request#6:completedbyjt14den
  Oct 1, 202628s
  More actions for workflow run 6