Build and Deploy Book

Workflow runs for Build and Deploy Book

• Update to use Hoare triples and wp tactics

  completed successfully:
  Build and Deploy Book#15:Commit0b01b32pushedbylzy0505
  main

  Sep 5, 20269m 41s
  More actions for workflow run 15

• Merge pull request #2 from fresheed/later

  completed successfully:
  Build and Deploy Book#14:Commit8695bdbpushedbylzy0505
  main

  Aug 5, 20268m 36s
  More actions for workflow run 14

• "Later" chapter

  completed successfully:
  Build and Deploy Book#13:Pull request#2synchronizebyfresheed
  fresheed:later

  Aug 5, 20265m 49s
  More actions for workflow run 13

• fix: verso.code.warnLineLength warning

  failed:
  Build and Deploy Book#12:Pull request#4openedbysrghma
  srghma:fix-long-lines

  Aug 3, 202630d 0h 4m 33s
  More actions for workflow run 12

• "Later" chapter

  completed successfully:
  Build and Deploy Book#11:Pull request#2synchronizebyfresheed
  fresheed:later

  Jul 20, 202646s
  More actions for workflow run 11

• "Later" chapter

  completed successfully:
  Build and Deploy Book#10:Pull request#2synchronizebyfresheed
  fresheed:later

  Jul 20, 202632s
  More actions for workflow run 10

• Merge pull request #3 from fresheed/comment_style

  completed successfully:
  Build and Deploy Book#9:Commitb1ce19cpushedbylzy0505
  main

  Jul 17, 202645s
  More actions for workflow run 9

• Added separate styling for Lean comments

  completed successfully:
  Build and Deploy Book#8:Pull request#3openedbyfresheed
  fresheed:comment_style

  Jul 16, 202633s
  More actions for workflow run 8

• "Later" chapter

  completed successfully:
  Build and Deploy Book#7:Pull request#2openedbyfresheed
  fresheed:later

  Jul 16, 202645s
  More actions for workflow run 7

• Merge pull request #1 from suhr/patch-1

  completed successfully:
  Build and Deploy Book#6:Commit7bd0639pushedbylzy0505
  main

  Jul 14, 202649s
  More actions for workflow run 6

• Add AGENTS.md

  completed successfully:
  Build and Deploy Book#5:Commit7f90cd5pushedbylzy0505
  main

  Jul 13, 202648s
  More actions for workflow run 5

• Bump deps

  completed successfully:
  Build and Deploy Book#4:Commitbdb58d1pushedbylzy0505
  main

  Jul 13, 20267m 18s
  More actions for workflow run 4

• Fix CI

  completed successfully:
  Build and Deploy Book#2:Commitc028bacpushedbylzy0505
  main

  Jun 13, 202614m 30s
  More actions for workflow run 2

• Init

  failed:
  Build and Deploy Book#1:Commit3532e69pushedbylzy0505
  main

  Jun 13, 202656s
  More actions for workflow run 1