ci

Workflow runs for ci

• chore(deps): bump actions/setup-python from 7.0.0 to 7.1.0

  completed successfully:
  ci#12:Pull request#2openedbydependabot[bot]Bot
  dependabot/github_actions/actions/setup-python-7.1.0

  Oct 26, 20265m 3s
  More actions for workflow run 12

• chore(deps): bump actions/setup-python from 7.0.0 to 7.1.0

  completed successfully:
  ci#11:Commit0e26676pushedbydependabot[bot]Bot
  dependabot/github_actions/actions/setup-python-7.1.0

  Oct 26, 20269m 17s
  More actions for workflow run 11

• chore(deps): bump actions/setup-node from 7.0.0 to 7.1.0

  completed successfully:
  ci#10:Pull request#1openedbydependabot[bot]Bot
  dependabot/github_actions/actions/setup-node-7.1.0

  Oct 12, 202610m 23s
  More actions for workflow run 10

• chore(deps): bump actions/setup-node from 7.0.0 to 7.1.0

  completed successfully:
  ci#9:Commit2aa9b7apushedbydependabot[bot]Bot
  dependabot/github_actions/actions/setup-node-7.1.0

  Oct 12, 20267m 11s
  More actions for workflow run 9

• README: links to the matching pages on hans.study

  completed successfully:
  ci#8:Commitfeeb3a3pushedbyhansstudy
  main

  Oct 5, 20269m 44s
  More actions for workflow run 8

• Remove the stray 1.0.0 changelog section; add a one-line summary to t…

  completed successfully:
  ci#7:Commit3d94bbdpushedbyhansstudy
  main

  Oct 1, 20267m 5s
  More actions for workflow run 7

• Fix demo GIF poster frame so it is not an empty prompt

  completed successfully:
  ci#6:Commite613a2apushedbyhansstudy
  main

  Sep 28, 20269m 52s
  More actions for workflow run 6

• Add the 1.0.0-rc.1 changelog section and correct the verify-downloads…

  completed successfully:
  ci#5:Commit75bec08pushedbyhansstudy
  main

  Sep 28, 20267m 16s
  More actions for workflow run 5

• Add screenshots and demo GIF

  completed successfully:
  ci#4:Commit1bd7b4dpushedbyhansstudy
  main

  Sep 28, 202610m 8s
  More actions for workflow run 4

• Record v1.0.0-rc.1 release evidence

  cancelled:
  ci#3:Commit2706fc6pushedbyhansstudy
  main

  Sep 28, 20262m 45s
  More actions for workflow run 3

• Fix the Windows PowerShell version check in CI

  completed successfully:
  ci#2:Commit2f5d7depushedbyhansstudy
  main

  Sep 28, 20268m 13s
  More actions for workflow run 2

• Initial public release of PortProof

  failed:
  ci#1:Commit9904a09pushedbyhansstudy
  main

  Sep 28, 202643s
  More actions for workflow run 1