What happened
The Python helper can disable the GitHub Actions workflow after success. The workflow does not pass the GitHub token that helper expects.
The old portfolio described an automatic stop. The verified instruction is manual disable, so that is what the case study says. Code that cannot run in the deployed contract is not a shipped feature.