Skip to content
This repository has been archived by the owner on Jul 2, 2024. It is now read-only.

ci: introduce basic ci #5

Merged
merged 4 commits into from
Oct 5, 2022
Merged

ci: introduce basic ci #5

merged 4 commits into from
Oct 5, 2022

Conversation

spiral-ladder
Copy link
Contributor

closes #4

@spiral-ladder spiral-ladder self-assigned this Oct 4, 2022
Base automatically changed from bing/extract-forc-explore to master October 5, 2022 15:44
@spiral-ladder spiral-ladder merged commit f00da55 into master Oct 5, 2022
@spiral-ladder spiral-ladder deleted the bing/ci branch October 5, 2022 15:44
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

introduce basic CI
2 participants