All workflows

Workflow runs

• Centralize tool versions and improve build consistency

  failed:
  Deploy to GitHub Pages#11:Pull request#36synchronizebysean-parent
  sean-parent/dependency-management

  Dec 23, 20253m 5s
  More actions for workflow run 11

• fix: spelling mistakes (#33)

  failed:
  Deploy to GitHub Pages#10:Commitff45c64pushedbydabrahams
  main

  Dec 15, 20251m 42s
  More actions for workflow run 10

• Postconditions don't include the details of reported errors

  failed:
  Deploy to GitHub Pages#9:Commit45d78f5pushedbydabrahams
  main

  Dec 6, 20251m 35s
  More actions for workflow run 9

• Archive inactive materials (#31)

  completed successfully:
  Deploy to GitHub Pages#8:Commitd9dc9e4pushedbydabrahams
  main

  Oct 26, 20253m 38s
  More actions for workflow run 8

• Rubric for contracts chapter (#32)

  completed successfully:
  Deploy to GitHub Pages#7:Commit5cd0a7fpushedbydabrahams
  main

  Oct 26, 20252m 9s
  More actions for workflow run 7

• Fix wrong word.

  completed successfully:
  Deploy to GitHub Pages#6:Commite15cdddpushedbydabrahams
  main

  Sep 24, 20252m 0s
  More actions for workflow run 6

• Merge pull request #24 from stlab/contracts

  completed successfully:
  Deploy to GitHub Pages#5:Commit7f19563pushedbydabrahams
  main

  Sep 6, 20251m 58s
  More actions for workflow run 5