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

lint #500

Merged
merged 1 commit into from
Aug 26, 2021
Merged

lint #500

merged 1 commit into from
Aug 26, 2021

Conversation

fedekunze
Copy link
Contributor

No description provided.

@orijbot
Copy link

orijbot commented Aug 26, 2021

@github-actions github-actions bot added C:CLI C:Crypto crypto package C:JSON-RPC JSON-RPC client Type: CI continuous integration Type: Tests issues and PR related to tests labels Aug 26, 2021
@fedekunze fedekunze marked this pull request as ready for review August 26, 2021 15:38
@fedekunze fedekunze enabled auto-merge (squash) August 26, 2021 15:39
@fedekunze fedekunze merged commit 7389770 into main Aug 26, 2021
@fedekunze fedekunze deleted the lint branch August 26, 2021 15:45
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
C:CLI C:Crypto crypto package C:JSON-RPC JSON-RPC client Type: CI continuous integration Type: Tests issues and PR related to tests
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants