diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-04-25 20:21:32 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-04-25 20:21:32 +0000 |
| commit | a39d796c3de9c96ea4df6b9da525cb0d5ef60fc0 (patch) | |
| tree | 77db234bb173a5da49e1815e82f3dd29402db79d /ci.sh | |
| parent | 97e24b056879547bb21158c2193f67ddb9e0a790 (diff) | |
| parent | 2b0e8a330b0f2be7a8943a9e5acadf8fc7f92275 (diff) | |
Merge #730
730: Executor and task macro fixes. r=Dirbaio a=Dirbaio
See individual commits.
bors r+
Co-authored-by: Dario Nieuwenhuis <[email protected]>
Diffstat (limited to 'ci.sh')
0 files changed, 0 insertions, 0 deletions