diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-11-05 00:05:20 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-11-05 00:05:20 +0100 |
| commit | 308dbdd9fe6f9df10386e80cbd767000ca5a3c11 (patch) | |
| tree | bd6a78ba13ad391b31663b6d611ddea7c854f2f5 /compiler/rustc_mir/src/transform/coverage/mod.rs | |
| parent | d662f808550acadc5980969e1826a653ec35b408 (diff) | |
| download | rust-308dbdd9fe6f9df10386e80cbd767000ca5a3c11.tar.gz rust-308dbdd9fe6f9df10386e80cbd767000ca5a3c11.zip | |
ci: bump actions/checkout to version 2
This was recommended by GitHub Support to try reducing the things that could've caused #78743. I checked the changelog and there should be no practical impact for us (we already set an explicit fetch-depth).
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions