Skip to content

Add basic CI workflow#38

Merged
robin-nitrokey merged 3 commits intomainfrom
ci
Aug 19, 2025
Merged

Add basic CI workflow#38
robin-nitrokey merged 3 commits intomainfrom
ci

Conversation

@robin-nitrokey
Copy link
Member

Fixes: #36

@sosthene-nitrokey
Copy link
Contributor

This should also remove the outdated gitlab ci file that comes from our fork.

- name: Install rust
run: rustup show active-toolchain || rustup toolchain install
- name: Run checks
run: make lint
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe also add make test TEST_FEATURES="rsa,virt"

@robin-nitrokey robin-nitrokey merged commit 12b320b into main Aug 19, 2025
1 check passed
@robin-nitrokey robin-nitrokey deleted the ci branch August 19, 2025 08:36
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.

Setup CI

2 participants