Skip to content

Add CI workflow#16

Merged
robin-nitrokey merged 1 commit intomainfrom
ci
Jan 6, 2025
Merged

Add CI workflow#16
robin-nitrokey merged 1 commit intomainfrom
ci

Conversation

@robin-nitrokey
Copy link
Member

No description provided.

@robin-nitrokey robin-nitrokey linked an issue Jan 6, 2025 that may be closed by this pull request
@robin-nitrokey robin-nitrokey merged commit 6edcb14 into main Jan 6, 2025
2 checks passed
@robin-nitrokey robin-nitrokey deleted the ci branch January 6, 2025 16:57
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.

Add CI workflow

2 participants