Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI: deploy wasm #389

Merged
merged 1 commit into from
Mar 28, 2024
Merged

CI: deploy wasm #389

merged 1 commit into from
Mar 28, 2024

Conversation

ChinYikMing
Copy link
Collaborator

@ChinYikMing ChinYikMing commented Mar 27, 2024

Since wasm is deployed on Github Pages, thus it is reasonable to use CI to deploy automatically.

The CI supports two events: merged pull request and workflow_dispatch. The former only run after merging and latter is used to deploy by maintainer manually. It also verifies whether any associated files have changed. If so, carry out the CI; if not, stop.

Related: #75

Since wasm is deployed on Github Pages, thus it is reasonable to use CI
to deploy automatically.

The CI supports two event: merged pull request and workflow_dispatch.
The former only run after merging and latter is used to deploy by
maintainer manually. It also verifies whether any associated files
have changed. If so, carry out the CI; if not, stop.

Related: sysprog21#75
@ChinYikMing
Copy link
Collaborator Author

Please merge PR #388 first before merging this PR.

@ChinYikMing
Copy link
Collaborator Author

ChinYikMing commented Mar 27, 2024

Before merging this PR, please do the following to make the CI having permission:

  1. Generate a PAT with read and write permission (Settings --> Developer Settings --> Personal Access Tokens --> Tokens(classic) --> Generate New Tokens(classic))
  2. Store it in rv32emu's settings --> Secret and variables --> Actions --> Add a secret, and name it as RV32EMU_DEMO_TOKEN, the value is PAT which generated by previous step

@ChinYikMing
Copy link
Collaborator Author

ChinYikMing commented Mar 27, 2024

After merging this PR, please run the CI manually for the first time using workflow_dispatch event. Then, we should see the wasm deployed on rv32emu-demo

@jserv
Copy link
Contributor

jserv commented Mar 28, 2024

generate a PAT with read and write permission

Please indicate the minimal requirements for the scopes of the access for personal tokens such as write:package

@ChinYikMing
Copy link
Collaborator Author

ChinYikMing commented Mar 28, 2024

generate a PAT with read and write permission

Please indicate the minimal requirements for the scopes of the access for personal tokens such as write:package

Please select the permissions write:packages and read:packages(under write:packages).

@jserv jserv merged commit 92ffc1e into sysprog21:master Mar 28, 2024
8 checks passed
@ChinYikMing ChinYikMing deleted the ci-deploy-wasm branch March 28, 2024 08:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants