Skip to content

Comments

Setup CI#5

Merged
notmandatory merged 2 commits intomasterfrom
setup_ci
May 28, 2023
Merged

Setup CI#5
notmandatory merged 2 commits intomasterfrom
setup_ci

Conversation

@notmandatory
Copy link
Member

@notmandatory notmandatory commented May 22, 2023

Add github actions CI pipelines, PR template, and CONTRIBUTION.md file, fix fmt and clippy errors.

@notmandatory notmandatory self-assigned this May 22, 2023
@notmandatory notmandatory force-pushed the setup_ci branch 3 times, most recently from 71ce5e4 to 7637754 Compare May 23, 2023 00:00
@notmandatory notmandatory marked this pull request as draft May 23, 2023 00:00
@notmandatory notmandatory marked this pull request as ready for review May 23, 2023 00:19
@notmandatory notmandatory force-pushed the setup_ci branch 2 times, most recently from 967d568 to 16ae6e7 Compare May 28, 2023 01:45
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