Build Docs and Deploy

Workflow runs for Build Docs and Deploy

• Select waveform and coverage suffixes from the DUT simulator

  completed successfully:
  Build Docs and Deploy#145:Commitf001697pushedbyyaozhicheng
  main

  Oct 22, 202640s
  More actions for workflow run 145

• RTL2Spec bug fix

  completed successfully:
  Build Docs and Deploy#144:Pull request#144openedbywutianze
  plugin/RTL2Spec

  Oct 22, 202636s
  More actions for workflow run 144

• Plugin/rtl2 spec (#139)

  completed successfully:
  Build Docs and Deploy#143:Commit1c74730pushedbywutianze
  main

  Oct 22, 202630s
  More actions for workflow run 143

• Plugin/rtl2 spec

  completed successfully:
  Build Docs and Deploy#142:Pull request#139synchronizebywutianze
  plugin/RTL2Spec

  Oct 22, 202628s
  More actions for workflow run 142

• feat(webui): add authenticated Xpra sessions and app viewer

  completed successfully:
  Build Docs and Deploy#141:Commit7ab03b4pushedbyyaozhicheng
  main

  Oct 22, 202633s
  More actions for workflow run 141

• fix(waveform): keep verification guidance focused on public tools

  completed successfully:
  Build Docs and Deploy#140:Commitf064dadpushedbyyaozhicheng
  main

  Oct 21, 202636s
  More actions for workflow run 140

• build: remove generated documentation in clean target

  completed successfully:
  Build Docs and Deploy#139:Commit5a8d5a2pushedbyyaozhicheng
  main

  Oct 21, 202637s
  More actions for workflow run 139

• chore(git): ignore local zcode files

  completed successfully:
  Build Docs and Deploy#138:Commitbe7ecf0pushedbyyaozhicheng
  main

  Oct 20, 202630s
  More actions for workflow run 138

• chore(template): remove accidentally introduced formal_test copy dire…

  completed successfully:
  Build Docs and Deploy#137:Commitdf255ebpushedbyyaozhicheng
  main

  Oct 14, 202646s
  More actions for workflow run 137

• Plugin/rtl2 spec

  completed successfully:
  Build Docs and Deploy#136:Pull request#139synchronizebywutianze
  plugin/RTL2Spec

  Oct 14, 202629s
  More actions for workflow run 136

• Plugin/rtl2 spec

  completed successfully:
  Build Docs and Deploy#135:Pull request#139synchronizebywutianze
  plugin/RTL2Spec

  Oct 12, 202644s
  More actions for workflow run 135

• chore(setting): update launch backend and default environment parameters

  completed successfully:
  Build Docs and Deploy#134:Commitb505c12pushedbyyaozhicheng
  main

  Sep 29, 20261m 3s
  More actions for workflow run 134

• Plugin/rtl2 spec

  completed successfully:
  Build Docs and Deploy#133:Pull request#139synchronizebywutianze
  plugin/RTL2Spec

  Sep 25, 202642s
  More actions for workflow run 133

• Plugin/rtl2 spec

  completed successfully:
  Build Docs and Deploy#132:Pull request#139openedbywutianze
  plugin/RTL2Spec

  Sep 24, 202637s
  More actions for workflow run 132

• feat(designwithppa): honor workflow python_dut options in repo module…

  completed successfully:
  Build Docs and Deploy#131:Commit82e7b22pushedbyyaozhicheng
  main

  Sep 23, 202632s
  More actions for workflow run 131

• feat(plugins): add RTL2Spec and consolidate plugin projects (#138)

  completed successfully:
  Build Docs and Deploy#130:Commit3818c4fpushedbywutianze
  main

  Sep 21, 202631s
  More actions for workflow run 130

• feat(plugins): add RTL2Spec and consolidate plugin projects

  completed successfully:
  Build Docs and Deploy#129:Pull request#138openedbywutianze
  plugin

  Sep 20, 202625s
  More actions for workflow run 129

• feat(plugins): add SpecGenerator and consolidate plugin projects

  completed successfully:
  Build Docs and Deploy#128:Pull request#137openedbywutianze
  plugin

  Sep 20, 202628s
  More actions for workflow run 128

• feat(designwithppa): honor the Check call-time budget in RTL regressi…

  completed successfully:
  Build Docs and Deploy#127:Commitcb65770pushedbyyaozhicheng
  main

  Sep 16, 202631s
  More actions for workflow run 127

• feat(designwithppa): add automated environment install script

  completed successfully:
  Build Docs and Deploy#126:Commit143a2cepushedbyyaozhicheng
  main

  Sep 16, 202636s
  More actions for workflow run 126

• 拆分快速开始文档为多文件结构，新增三大交互模式说明 (#134)

  completed successfully:
  Build Docs and Deploy#125:Commitb809414pushedbySFangYy
  main

  Sep 15, 202637s
  More actions for workflow run 125

• 拆分快速开始文档为多文件结构，新增三大交互模式说明

  completed successfully:
  Build Docs and Deploy#124:Pull request#134synchronizebySFangYy
  yikedashuhuasheng:feat/master‑mode‑doc

  Sep 15, 202635s
  More actions for workflow run 124

• workflow_builder: branch first build version 1.00 (#132)

  completed successfully:
  Build Docs and Deploy#123:Commit15e689bpushedbySFangYy
  main

  Sep 15, 202634s
  More actions for workflow run 123

• feat(recorder): return explicit diagnostics from BugRecordType failures

  completed successfully:
  Build Docs and Deploy#122:Commit856ee9fpushedbyyaozhicheng
  main

  Sep 15, 202631s
  More actions for workflow run 122

• fix: extend command idle timeout monitoring

  completed successfully:
  Build Docs and Deploy#121:Commita903028pushedbyyaozhicheng
  main

  Sep 10, 20261m 16s
  More actions for workflow run 121