Update _getMsgType for input line without prefix (#159) #546
ci.yml
on: push
unittest
45s
complexity
18s
doxygen
21s
spell-check
36s
formatting
10s
git-secrets
10s
memory_statistics
45s
link-verifier
56s
verify-manifest
8s
proof_ci
0s