Skip to content

chore: update SSH keys #2675

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 2 commits into from
Sep 9, 2025
Merged

chore: update SSH keys #2675

merged 2 commits into from
Sep 9, 2025

Conversation

@jpraynaud
Copy link
Member

@jpraynaud jpraynaud commented Sep 3, 2025 •
edited
Loading

Content

This PR includes an update to the testing and productions SSH keys of the infrastructure.

Pre-submit checklist

  • Branch
    • Crates versions are updated (if relevant)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
  • PR
    • All check jobs of the CI have succeeded
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested

Issue(s)

Relates to #2625

@jpraynaud jpraynaud self-assigned this Sep 3, 2025
@jpraynaud jpraynaud changed the title chore: update ssh keys chore: update SSH keys Sep 3, 2025
@github-actions
Copy link

github-actions bot commented Sep 3, 2025 •
edited
Loading

Test Results

    4 files  ±0    164 suites  ±0   23m 3s ⏱️ +19s
2 180 tests ±0  2 180 ✅ ±0  0 💤 ±0  0 ❌ ±0 
6 702 runs  ±0  6 702 ✅ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit ba6327a. ± Comparison against base commit 959918d.

♻️ This comment has been updated with latest results.

@jpraynaud jpraynaud requested a review from turmelclem September 4, 2025 16:47
turmelclem
turmelclem approved these changes Sep 5, 2025
View reviewed changes
Copy link
Collaborator

@turmelclem turmelclem left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍

@jpraynaud jpraynaud force-pushed the jpraynaud/2625-update-ssh-keys branch from a6bc87a to ba6327a Compare September 9, 2025 10:27
@jpraynaud jpraynaud requested a review from turmelclem September 9, 2025 10:29
@jpraynaud jpraynaud marked this pull request as ready for review September 9, 2025 10:29
turmelclem
turmelclem approved these changes Sep 9, 2025
View reviewed changes
Copy link
Collaborator

@turmelclem turmelclem left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍

@jpraynaud jpraynaud merged commit 7f84ed8 into main Sep 9, 2025
186 of 191 checks passed
@jpraynaud jpraynaud deleted the jpraynaud/2625-update-ssh-keys branch September 9, 2025 14:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@turmelclem turmelclem turmelclem approved these changes

Assignees

@jpraynaud jpraynaud

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@jpraynaud @turmelclem