Skip to content

Ci pipeline#5

Open
okhaimie-dev wants to merge 10 commits into
dojoengine:mainfrom
okhaimie-dev:ci-pipeline
Open

Ci pipeline#5
okhaimie-dev wants to merge 10 commits into
dojoengine:mainfrom
okhaimie-dev:ci-pipeline

Conversation

@okhaimie-dev
Copy link
Copy Markdown
Contributor

@okhaimie-dev okhaimie-dev commented Jul 16, 2025

In this PR I introduced a CI pipeline for the repo. For now it CI includes

  • Format
  • Lint ( clippy )
  • Typo
  • Test

I have also tested it in my own repo causing me to add minor changes to the intro and plugin file.

N.B.

I have not included an action for release as I believe it is not yet necessary.

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.

1 participant