Skip to content

Actions: rpm-software-management/dnf5

Create a GitHub release once a release PR is merged

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
452 workflow runs
452 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release 5.1.10
Create a GitHub release once a release PR is merged #307: Pull request #1118 closed by inknos
January 2, 2024 10:06 12s create-pull-request/patch
January 2, 2024 10:06 12s
doc: Add a tutorial how to write plugins
Create a GitHub release once a release PR is merged #306: Pull request #1034 closed by j-mracek
January 2, 2024 09:21 2s jkolarik/plugins-docs
January 2, 2024 09:21 2s
ProTip! You can narrow down the results and go further in time using created:<2024-01-02 or the other filters available.