Skip to content

Add CI via github actions#136

Merged
wader merged 1 commit into
masterfrom
ci
Jun 21, 2026
Merged

Add CI via github actions#136
wader merged 1 commit into
masterfrom
ci

Conversation

@wader

@wader wader commented Jun 21, 2026

Copy link
Copy Markdown
Collaborator

Same as for devd (by @chebread)

Same as for devd (by @chebread)
@wader
wader merged commit 20b0613 into master Jun 21, 2026
3 checks passed
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