Fix yosys-plugin extract syntax

[ninehusky]

Closes #6 .

[ninehusky]

@gussmith23 looks like CI is failing because of a permission related issue?

[gussmith23]

Just re-ran CI, unsure what is going on with that error and I'm hoping it's just spurious (but it's probably not)

[gussmith23]

Something is going wrong with the GITHUB_TOKEN permissions when you specifically are triggering the workflow. The workflow specifically requests write permissions on packages. When the workflow is triggered by me, we see this:

But when you trigger:

Will keep debugging.

[gussmith23]

It looks like this is just default expected behavior from GitHub Actions:
https://docs.github.com/en/actions/security-guides/automatic-token-authentication

Forks can't really ever get write permissions.

@ninehusky I just gave you write access to the repo -- can you push your branch to the repo directly and transition this PR to use that branch? That should resolve the issue. Specifically:

1. add this repo as a remote git remote add uwsampl [email protected]:uwsampl/churchroad
2. push your branch git push <branch name> uwsampl
3. On this PR, hit the "edit" to the right of the PR title, and see if you can change the "from" branch from ninehusky:main to the branch you just pushed.
4. If you can't do 3, then close this PR and reopen a new one (and make sure to mention this PR in the new PR)

[ninehusky]

Closed by #10 .