Clean ssh keys of infrastructure #1142

jpraynaud · 2023-08-08T09:27:47Z

Content

This PR includes a cleanup of the list of the infrastructure ssh keys.

Branch
- Crates versions are updated (if relevant)
- Commit sequence broadly makes sense
- Key commits have useful messages
PR
- No clippy warnings in the CI
- Self-reviewed the diff
- Useful pull request description
- Reviewer requested

Relates to #1091

github-actions · 2023-08-08T09:34:29Z

    3 files ±0   16 suites ±0 6m 17s ⏱️ -40s
656 tests ±0 656 ✔️ ±0 0 💤 ±0 0 ❌ ±0
696 runs ±0 696 ✔️ ±0 0 💤 ±0 0 ❌ ±0

Results for commit f1897e9. ± Comparison against base commit 137b56c.

mithril-infra/assets/ssh_keys

jpraynaud added 2 commits August 8, 2023 11:19

Clean ssh keys in infra

3fe0a80

Update infra version

f1897e9

jpraynaud self-assigned this Aug 8, 2023

jpraynaud requested a review from Alenar August 8, 2023 09:31

Alenar approved these changes Aug 8, 2023

View reviewed changes

mithril-infra/assets/ssh_keys Show resolved Hide resolved

jpraynaud temporarily deployed to testing-preview August 8, 2023 09:35 — with GitHub Actions Inactive

jpraynaud merged commit ff06651 into main Aug 8, 2023
24 checks passed

jpraynaud deleted the jpraynaud/1091-clean-ssh-keys-infra branch August 8, 2023 09:42