[DO NOT MERGE] Test that a silly mistake gets caught by tests

As a workaround because merge requests don't mirror over to github, tests can be manually run at the github end by entering the MR Number. There are some other possibilities but this gets us started and doesn't preclude other options later.

This is how it works:

1. At the github repo, under actions, click on Integration Test under All workflows.
2. On the right you'll see Run Workflow.
3. In the dropdown it has a spot for MR Number. It can be left blank but if you put in this MR's number (124), then it should apply this MR and run tests.
4. It should fail since this contains a purposely silly mistake.

edit