diff options
author | Martin Weinelt <mweinelt@users.noreply.github.com> | 2023-10-05 02:41:55 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-05 02:41:55 +0200 |
commit | c52af267ad0c11b55f89cf6c70adb10694ad938e (patch) | |
tree | 8b495895060834f40c991e7be9256c16fc781392 /pkgs/misc | |
parent | b90ac4c0ec8fbc828ccd4d201b2f0cd9824a3053 (diff) | |
parent | dd543a79d5310ecdb984493eaca74b84fe4a018f (diff) |
Merge pull request #259069 from tweag/tiny-check-by-name-improvement
workflows/check-by-name: Add a missing colon
Diffstat (limited to 'pkgs/misc')
0 files changed, 0 insertions, 0 deletions