Skip to content

Add CI#115

Merged
clickingbuttons merged 5 commits into
v1from
ci
Apr 25, 2022
Merged

Add CI#115
clickingbuttons merged 5 commits into
v1from
ci

Conversation

@clickingbuttons
Copy link
Copy Markdown
Contributor

Add github action to run black (linter) and mypi (static linter).

@clickingbuttons clickingbuttons changed the base branch from master to v1 April 25, 2022 18:22
Comment thread .github/workflows/pr.yml Outdated
Comment thread .github/workflows/pr.yml Outdated
Comment thread .github/workflows/pr.yml
Comment thread .github/workflows/pr.yml
@clickingbuttons clickingbuttons merged commit 6b4ee83 into v1 Apr 25, 2022
@clickingbuttons clickingbuttons deleted the ci branch April 25, 2022 19:05
clickingbuttons pushed a commit that referenced this pull request Apr 29, 2022
* remove websocket, add linters and github actions for PRs for them

* ci tweak

* tweak ci (2)

* vera feedback

* add GH_TOKEN permisions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants