diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-02-10 08:36:43 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-10 08:36:43 +0000 |
| commit | e65ca34471a5fcf59b08fec31a9c743e2dfb69e9 (patch) | |
| tree | 2c2e2f89e17d560d85e1f039523ab7447f9f8706 /ci/expected/message_passing.run | |
| parent | 1464898291fbd7ae0aa3fddcc185a69d9d3979a4 (diff) | |
| parent | 578cc903c95aec324733df447cb7f54f41fa1581 (diff) | |
Merge #605
605: GHA: Tune CI r=AfoHT a=AfoHT
- GHA: Use rust-cache
- GHA: Cleanup single target jobs
- GHA: Add cargo clippy
Co-authored-by: Henrik Tjäder <henrik@grepit.se>
Diffstat (limited to 'ci/expected/message_passing.run')
0 files changed, 0 insertions, 0 deletions