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

DEV: Update CI workflows #36

Merged
merged 1 commit into from
Jul 2, 2021
Merged

DEV: Update CI workflows #36

merged 1 commit into from
Jul 2, 2021

Conversation

discoursebot
Copy link
Contributor

Updates CI from discourse/.github

@CvX CvX merged commit 33dedf3 into main Jul 2, 2021
@CvX CvX deleted the update-ci branch July 2, 2021 14:25
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