Skip to content
This repository was archived by the owner on Feb 10, 2023. It is now read-only.

Conversation

@azat
Copy link
Member

@azat azat commented Jun 30, 2022

It had been broken long time ago, and seems that nobody cares
(and PRs had been merged with broken CI...).

Initially it had been added in #41.

It had been broken long time ago, and seems that nobody cares.
@alexey-milovidov
Copy link
Member

You can delete the file completely.

@azat azat deleted the disable-ci branch July 4, 2022 05:45
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.

2 participants