Skip to content

Actions: Kha/lean4

Actions

Check PR title for commit convention

Actions

Loading...

Show workflow options

Create status badge

1 workflow run
1 workflow run
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Incr tactic rc1 Check PR title for commit convention #1: Pull request #7 opened by Kha
May 7, 2024 13:28 12s incr-tactic-rc1
incr-tactic-rc1
May 7, 2024 13:28 12s