Skip to content

Remove CircleCI config - #2118

Merged
lognaturel merged 1 commit into
getodk:masterfrom
lognaturel:rm-circleci
Oct 15, 2026
Merged

lognaturel merged 1 commit into
getodk:masterfrom
lognaturel:rm-circleci

Conversation

@lognaturel

Copy link
Copy Markdown
Member

Successfully publishing from GH actions (thanks @lindsay-stevens!) so let's remove CircleCI usage.

@lognaturel
lognaturel requested a review from yanokwa October 15, 2026 19:04
@lognaturel
lognaturel merged commit 1b4edf0 into getodk:master Oct 15, 2026
2 of 3 checks passed
@lognaturel
lognaturel deleted the rm-circleci branch October 15, 2026 19:37
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.

2 participants