Skip to content

Actions: Kha/lean4

Actions

Label PR based on Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
labels-from-comments.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: test Label PR based on Comment #10: Issue comment #10 (comment) created by Kha
November 5, 2024 14:08 10s
November 5, 2024 14:08 10s
fix: test Label PR based on Comment #9: Issue comment #10 (comment) created by Kha
November 5, 2024 14:07 11s
November 5, 2024 14:07 11s
fix: test Label PR based on Comment #8: Issue comment #10 (comment) created by Kha
November 5, 2024 14:05 22s
November 5, 2024 14:05 22s
fix: test Label PR based on Comment #7: Issue comment #10 (comment) created by Kha
November 5, 2024 14:03 11s
November 5, 2024 14:03 11s
fix: test Label PR based on Comment #6: Issue comment #10 (comment) created by Kha
November 5, 2024 14:02 9s
November 5, 2024 14:02 9s
fix: test Label PR based on Comment #5: Issue comment #10 (comment) created by Kha
November 5, 2024 13:56 10s
November 5, 2024 13:56 10s
fix: test Label PR based on Comment #4: Issue comment #10 (comment) created by Kha
November 5, 2024 13:55 12s
November 5, 2024 13:55 12s
fix: test Label PR based on Comment #3: Issue comment #10 (comment) created by Kha
November 5, 2024 13:48 9s
November 5, 2024 13:48 9s
fix: test Label PR based on Comment #2: Issue comment #10 (comment) created by Kha
November 5, 2024 13:47 13s
November 5, 2024 13:47 13s
fix: test Label PR based on Comment #1: Issue comment #10 (comment) created by Kha
November 5, 2024 13:43 14s
November 5, 2024 13:43 14s