CI (Linux)

Workflow runs for CI (Linux)

• docs: point the site release page at the canonical process

  completed successfully:
  CI (Linux)#265:Commit9c832fcpushedbywatchthelight
  main

  Aug 1, 202656s
  More actions for workflow run 265

• chore(release): prepare v1.9.1

  completed successfully:
  CI (Linux)#264:Commitacba1c2pushedbywatchthelight
  v1.9.1

  Aug 1, 202653s
  More actions for workflow run 264

• chore(release): prepare v1.9.1

  completed successfully:
  CI (Linux)#263:Commitacba1c2pushedbywatchthelight
  main

  Aug 1, 202658s
  More actions for workflow run 263

• docs(release): add v1.9.1 release notes

  completed successfully:
  CI (Linux)#262:Commit5621927pushedbywatchthelight
  main

  Aug 1, 202657s
  More actions for workflow run 262

• docs(changelog): prepare v1.9.1

  completed successfully:
  CI (Linux)#261:Commitd177619pushedbywatchthelight
  main

  Aug 1, 20261m 7s
  More actions for workflow run 261

• build(release): pin the GoReleaser line rehearsed with this config

  completed successfully:
  CI (Linux)#260:Commitf1483cbpushedbywatchthelight
  main

  Aug 1, 202657s
  More actions for workflow run 260

• build(release): include hottgo in the macOS disk images

  completed successfully:
  CI (Linux)#259:Commit72a94bfpushedbywatchthelight
  main

  Aug 1, 20261m 1s
  More actions for workflow run 259

• build(release): use the canonical author for tap and bucket pushes

  completed successfully:
  CI (Linux)#258:Commit5baae39pushedbywatchthelight
  main

  Aug 1, 20261m 0s
  More actions for workflow run 258

• docs: lead the documentation with the HoTTGo kernel

  completed successfully:
  CI (Linux)#257:Commitd3e8bfapushedbywatchthelight
  main

  Aug 1, 202650s
  More actions for workflow run 257

• ci: correct codecov coverage input

  completed successfully:
  CI (Linux)#256:Commit6413e4fpushedbywatchthelight
  main

  Aug 1, 202658s
  More actions for workflow run 256

• docs(changelog): record the revival fixes under unreleased

  completed successfully:
  CI (Linux)#255:Commit0c69216pushedbywatchthelight
  main

  Aug 1, 20261m 0s
  More actions for workflow run 255

• ci: restore supported lint checks

  completed successfully:
  CI (Linux)#254:Commit0dc6d69pushedbywatchthelight
  main

  Aug 1, 20261m 1s
  More actions for workflow run 254

• chore(tactics): satisfy errcheck and staticcheck findings

  completed successfully:
  CI (Linux)#253:Commitad39a74pushedbywatchthelight
  main

  Aug 1, 202653s
  More actions for workflow run 253

• fix(script): report source lines for tail proof failures

  completed successfully:
  CI (Linux)#252:Commit6741695pushedbywatchthelight
  main

  Aug 1, 202652s
  More actions for workflow run 252

• docs(audit): correct the scope of the tactic error finding

  completed successfully:
  CI (Linux)#251:Commit19e70cdpushedbywatchthelight
  main

  Aug 1, 202658s
  More actions for workflow run 251

• docs: describe universes as non-cumulative to match the kernel

  completed successfully:
  CI (Linux)#250:Commit25be86epushedbywatchthelight
  main

  Aug 1, 202657s
  More actions for workflow run 250

• test(check): cover cumulative universe rejection

  completed successfully:
  CI (Linux)#249:Commitaba618fpushedbywatchthelight
  main

  Aug 1, 202656s
  More actions for workflow run 249

• docs: use the case-exact module path in go get commands

  completed successfully:
  CI (Linux)#248:Commitd54acb1pushedbywatchthelight
  main

  Aug 1, 202654s
  More actions for workflow run 248

• build: point kernel-selftest at the example proof suite

  completed successfully:
  CI (Linux)#247:Commit0dfeb90pushedbywatchthelight
  main

  Aug 1, 202652s
  More actions for workflow run 247

• build: compile both command binaries

  completed successfully:
  CI (Linux)#246:Commit44372e7pushedbywatchthelight
  main

  Aug 1, 202651s
  More actions for workflow run 246

• docs(plan): add quality-gate, proof-experience, and release milestones

  completed successfully:
  CI (Linux)#245:Commitec66869pushedbywatchthelight
  main

  Aug 1, 202657s
  More actions for workflow run 245

• docs(plan): define the first finishing milestone

  completed successfully:
  CI (Linux)#244:Commit2ee126bpushedbywatchthelight
  main

  Aug 1, 20261m 6s
  More actions for workflow run 244

• docs(audit): set identity, direction, and risk conclusions

  completed successfully:
  CI (Linux)#243:Commita230749pushedbywatchthelight
  main

  Aug 1, 202659s
  More actions for workflow run 243

• docs(audit): catalog six baseline defects with evidence

  completed successfully:
  CI (Linux)#242:Commita609a82pushedbywatchthelight
  main

  Aug 1, 202652s
  More actions for workflow run 242

• docs(audit): record baseline verification results

  completed successfully:
  CI (Linux)#241:Commitd2e0050pushedbywatchthelight
  main

  Aug 1, 202651s
  More actions for workflow run 241