Skip to content

Commit

Permalink
lint
Browse files Browse the repository at this point in the history
  • Loading branch information
daejunpark committed Sep 18, 2024
1 parent 8214f68 commit 3882177
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion src/halmos/config.py
Original file line number Diff line number Diff line change
Expand Up @@ -551,7 +551,9 @@ def parse_dict(self, parsed: dict, source: str = "halmos.toml") -> dict:

# gather custom actions
actions = {
field.name: field.metadata["action"] for field in fields(Config) if "action" in field.metadata
field.name: field.metadata["action"]
for field in fields(Config)
if "action" in field.metadata
}

result = {}
Expand Down

0 comments on commit 3882177

Please sign in to comment.