Skip to content

Actions: nomeata/lean4

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: prevent stage0 updates from being merged using the merge queue Check PR title for commit convention #6: Pull request #2 synchronize by nomeata
April 22, 2024 16:56 12s joachim/stage0-queue-check
joachim/stage0-queue-check
April 22, 2024 16:56 12s
chore: prevent stage0 updates from being merged using the merge queue Check PR title for commit convention #5: Pull request #2 opened by nomeata
April 22, 2024 16:56 16s joachim/stage0-queue-check
joachim/stage0-queue-check
April 22, 2024 16:56 16s
Just a test commit Check PR title for commit convention #4: Pull request #1 synchronize by nomeata
December 4, 2023 21:01 10s joachim/test-simpler-pr-release
joachim/test-simpler-pr-release
December 4, 2023 21:01 10s
Just a test commit Check PR title for commit convention #3: Pull request #1 synchronize by nomeata
December 4, 2023 20:49 10s joachim/test-simpler-pr-release
joachim/test-simpler-pr-release
December 4, 2023 20:49 10s
Just a test commit Check PR title for commit convention #2: Pull request #1 edited by nomeata
December 4, 2023 17:49 13s joachim/test-simpler-pr-release
joachim/test-simpler-pr-release
December 4, 2023 17:49 13s
Just a test commit Check PR title for commit convention #1: Pull request #1 opened by nomeata
December 4, 2023 17:48 16s joachim/test-simpler-pr-release
joachim/test-simpler-pr-release
December 4, 2023 17:48 16s