diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2023-05-31 21:22:03 +0200 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2023-05-31 21:22:58 +0200 |
| commit | 392795ebe0aff76bdf2d715e9a6e5f7375235e3e (patch) | |
| tree | ed99f96d1094f65b1c0953a0c308dcae296565f3 /xtask/src/main.rs | |
| parent | f56112b688052800880c3aaa796cdbc306ad90bb (diff) | |
CI: Make it clearer why a branch push was omitted
Diffstat (limited to 'xtask/src/main.rs')
0 files changed, 0 insertions, 0 deletions