Skip to content
This repository was archived by the owner on Jul 14, 2025. It is now read-only.

DEV: Update CI workflows #56

Merged
merged 1 commit into from
May 24, 2022
Merged

DEV: Update CI workflows #56

merged 1 commit into from
May 24, 2022

Conversation

discoursebot
Copy link
Contributor

Updates CI from discourse/.github

@CvX CvX merged commit 12b361f into main May 24, 2022
@CvX CvX deleted the update-ci branch May 24, 2022 17:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants