typeflows-github
Toggle table of contents
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
typeflows-github
typeflows-github
/
io.typeflows.github.workflows.events
/
PushEvent
/
head_commit
head_
commit
val
head_commit
:
Commit