Deploy docs

Workflow runs for Deploy docs

• docs: clarify nondeterministic action parameters and quantifiers

  completed successfully:
  Deploy docs#23:Commitadb4846pushedbydanwt
  main

  Mar 13, 202623s
  More actions for workflow run 23

• refactor(core): remove tuple and record types

  completed successfully:
  Deploy docs#22:Commit7994195pushedbydanwt
  main

  Feb 23, 202626s
  More actions for workflow run 22

• feat(features): provide full language construct spec

  completed successfully:
  Deploy docs#21:Commita49dbbcpushedbydanwt
  main

  Feb 23, 202628s
  More actions for workflow run 21

• feat(tests): add spec generators and VM edge tests

  completed successfully:
  Deploy docs#20:Commit003a486pushedbydanwt
  main

  Feb 23, 202624s
  More actions for workflow run 20

• feat: add specl/tree-sitter-specl/

  completed successfully:
  Deploy docs#19:Commit137735epushedbydanwt
  main

  Feb 22, 202622s
  More actions for workflow run 19

• feat(translate): fold bullet lists iteratively

  completed successfully:
  Deploy docs#18:Commit7c2a175pushedbydanwt
  main

  Feb 20, 202626s
  More actions for workflow run 18

• docs: clarify unsupported TLA+ features and update test expectations

  completed successfully:
  Deploy docs#17:Commitf46ec2bpushedbydanwt
  main

  Feb 20, 202627s
  More actions for workflow run 17

• refactor(translate): simplify dict type handling

  completed successfully:
  Deploy docs#16:Commitc9510d8pushedbydanwt
  main

  Feb 20, 202625s
  More actions for workflow run 16

• docs(cli): rename format to fmt and add lint/info usage

  completed successfully:
  Deploy docs#15:Commit6656871pushedbydanwt
  main

  Feb 20, 202628s
  More actions for workflow run 15

• docs(example): remove outdated kaspa.txt

  completed successfully:
  Deploy docs#14:Commit19cd88dpushedbydanwt
  main

  Feb 20, 202624s
  More actions for workflow run 14

• refactor(core): rename Record to Dict

  completed successfully:
  Deploy docs#13:Commitbd471e4pushedbydanwt
  main

  Feb 20, 202626s
  More actions for workflow run 13

• Deploy docs

  completed successfully:
  Deploy docs#12:bydanwt
  main

  Feb 18, 202629s
  More actions for workflow run 12

• feat(spec): add Kaspa bridge example

  completed successfully:
  Deploy docs#11:Commit4c06558pushedbydanwt
  main

  Feb 18, 202631s
  More actions for workflow run 11

• refactor(spec): split and simplify Raft specification

  completed successfully:
  Deploy docs#10:Commit634677bpushedbydanwt
  main

  Feb 17, 202630s
  More actions for workflow run 10

• docs(architecture): expand architecture documentation

  completed successfully:
  Deploy docs#9:Commitb4c66c3pushedbydanwt
  main

  Feb 17, 202627s
  More actions for workflow run 9

• claude: fix(docs): re-highlight specl blocks after language registration

  completed successfully:
  Deploy docs#8:Commit2b6dd8apushedbydanwt
  main

  Feb 17, 202628s
  More actions for workflow run 8

• claude: fix(docs): use smart-punctuation and update syntax highlighter

  completed successfully:
  Deploy docs#7:Commitcc6c576pushedbydanwt
  main

  Feb 17, 202623s
  More actions for workflow run 7

• refactor(docs): rename choose to fix

  completed successfully:
  Deploy docs#6:Commit2aa1c61pushedbydanwt
  main

  Feb 17, 202627s
  More actions for workflow run 6

• chore(ci): add GitHub release workflow

  completed successfully:
  Deploy docs#5:Commit45525c8pushedbydanwt
  main

  Feb 17, 202623s
  More actions for workflow run 5

• claude: docs(readme): update Full manual link to specl.danieltisdall.com

  completed successfully:
  Deploy docs#4:Commit4e7c2depushedbydanwt
  main

  Feb 17, 202630s
  More actions for workflow run 4

• refactor(example): relocate showcase specs to other

  completed successfully:
  Deploy docs#3:Commit6a32877pushedbydanwt
  main

  Feb 17, 202624s
  More actions for workflow run 3

• feat(example): add tic‑tac‑toe spec

  completed successfully:
  Deploy docs#2:Commitd63d6b8pushedbydanwt
  main

  Feb 17, 202625s
  More actions for workflow run 2

• claude: feat(docs): add CNAME for custom domain

  failed:
  Deploy docs#1:Commit6c9ec17pushedbydanwt
  main

  Feb 16, 202612s
  More actions for workflow run 1