diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2023-01-17 13:27:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-17 13:27:30 +0100 |
commit | 9a32f77a95cf15731b753903d7d0d03b541b23b8 (patch) | |
tree | b61c1d59c58170aaa4be4745ebb7279f37312e3e /local.mk | |
parent | 1df3d62c769dc68c279e89f68fdd3723ed3bcb5a (diff) | |
parent | 4e7592b59348315b3467159cb6b78b99e9a6fe84 (diff) |
Merge pull request #7606 from hercules-ci/recognize-some-flake-attributes
flake check: Recognize well known community attributes
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions