Skip to content
This repository was archived by the owner on Jan 20, 2026. It is now read-only.

Update ci#4

Merged
ssahani merged 1 commit intomainfrom
ci
Mar 3, 2022
Merged

Update ci#4
ssahani merged 1 commit intomainfrom
ci

Conversation

@ssahani
Copy link
Contributor

@ssahani ssahani commented Mar 3, 2022

No description provided.

@ssahani ssahani merged commit e42372c into main Mar 3, 2022
@ssahani ssahani deleted the ci branch March 3, 2022 19:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants