Skip to content

Actions: mindersec/minder

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7,193 workflow runs
7,193 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enforce defaults in deps ingest pull request configuration
PR #8145: Pull request #5226 opened by JAORMX
December 19, 2024 07:47 10m 26s JAORMX:default-filters
December 19, 2024 07:47 10m 26s
Unified PR machinery for actions like pull request comment
PR #8143: Pull request #5223 synchronize by JAORMX
December 18, 2024 11:12 10m 9s JAORMX:pr-commenter-2
December 18, 2024 11:12 10m 9s
docs: fix typo in docs: -r instead of non-existent -f flag
PR #8141: Pull request #5222 synchronize by kantord
December 18, 2024 09:39 Action required kantord:fix-typo-in-documentation
December 18, 2024 09:39 Action required
docs: fix typo in docs: -r instead of non-existent -f flag
PR #8140: Pull request #5222 opened by kantord
December 18, 2024 09:39 Action required kantord:fix-typo-in-documentation
December 18, 2024 09:39 Action required
Add a shared actions context structure
PR #8133: Pull request #5182 synchronize by JAORMX
December 17, 2024 16:34 13m 43s JAORMX:shared-actions-context
December 17, 2024 16:34 13m 43s
Add a shared actions context structure
PR #8132: Pull request #5182 synchronize by JAORMX
December 17, 2024 16:34 11m 19s JAORMX:shared-actions-context
December 17, 2024 16:34 11m 19s
Add PullRequestCommenter provider trait
PR #8131: Pull request #5188 synchronize by JAORMX
December 17, 2024 16:32 9m 8s JAORMX:pr-commenter
December 17, 2024 16:32 9m 8s
Fix mindev linting command
PR #8130: Pull request #5218 opened by eleftherias
December 17, 2024 15:44 10m 44s eleftherias:mindev-doc-fix
December 17, 2024 15:44 10m 44s
Allow path templating for pull request remediations
PR #8127: Pull request #5216 opened by rdimitrov
December 17, 2024 13:09 10m 30s enable-templating-path
December 17, 2024 13:09 10m 30s
Actually attempt to get the GitHub app's user ID
PR #8123: Pull request #5214 opened by JAORMX
December 17, 2024 11:10 10m 13s JAORMX:app-user-id
December 17, 2024 11:10 10m 13s
Output GitHub properties for repos and pull requests
PR #8122: Pull request #5213 opened by JAORMX
December 17, 2024 10:03 10m 38s JAORMX:github-properties
December 17, 2024 10:03 10m 38s