Just to share a tip in case someone ran into the same problem as me:
When I first tried this lab, the workflow did not run after I pushed the change to the main.py.
Then I realized that somehow the workflow in the forked repo was disabled (not sure how it happened)
So, I enabled the workflow (go to the forked repo on github, click “Action”, then click to enable workflow"), then pushed another change to the main.py. This time the workflow started.