Update Courses (FA22-Nov1)

[github-actions]

Ran npm run courses-gen and npm run req-gen, as part of the update-courses workflow.

[benjamin-shen]

Unfortunately, the check job didn't run. I did some research and it seems to be a frequently encountered issue. According to these docs:

When you use the repository's GITHUB_TOKEN to perform tasks, events triggered by the GITHUB_TOKEN, with the exception of workflow_dispatch and repository_dispatch, will not create a new workflow run. This prevents you from accidentally creating recursive workflow runs. For example, if a workflow run pushes code using the repository's GITHUB_TOKEN, a new workflow will not run even when the repository contains a workflow configured to run when push events occur.

There are a couple options:

• Use a dev's personal access token (PAT).
• Have a dev push a no-op to the PR.
• Change the CI check to also run on workflow_dispatch, and manually run the check job on automated PRs.
  • Only the check job is required to merge to master.
  • The downside of this is that the other non-check jobs that would normally run, such as snapshot deployment and ci policies, would not run. This is mostly not an issue because the update-courses workflow is so simple. But perhaps there should be another workflow_dispatch job that depends on (runs) every other job.

If anyone can think of any other solutions, please lmk!

[dti-github-bot]

[diff-counting] Significant lines: 8.

[github-actions]

Visit the preview URL for this PR (updated for commit 3a48d86):

https://cornelldti-courseplan-dev--pr756-update-courses-fa22-yyc0ud0i.web.app

_{(expires Fri, 02 Dec 2022 03:51:15 GMT)}

_{🔥 via Firebase Hosting GitHub Action 🌎}

_{Sign: 6d4e0437c4559ed895272bbd63991394f1e0e933}