-
Notifications
You must be signed in to change notification settings - Fork 10
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #135 from rust-lang/meeting-notes-2024-09-02
Add notes from 2024-09-02 infrastructure team meeting
- Loading branch information
Showing
1 changed file
with
50 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,50 @@ | ||
# 2024-09-02 | ||
|
||
## Topics | ||
|
||
### Conferences | ||
|
||
- Marco and JD are going to RustConf | ||
- Marco, JD, Pietro, and Jakub are going to EuroRust | ||
|
||
### Council and Project Director Elections | ||
|
||
- Our council representative is up for election soon | ||
- Project Director elections are coming up as well | ||
|
||
### CI | ||
|
||
- It would be great to start testing the parallel frontend without blocking CI | ||
on it | ||
- Probably better to run it in another repository and not `rust-lang/rust` | ||
- Might need access to one or more large runners | ||
- [ ] Jakub will create the repository | ||
- T-infra will provision a large runner for the repository | ||
- T-infra cannot really maintain this, but the wg-parallel-rustc should be able | ||
to do it themselves | ||
|
||
### Start-release | ||
|
||
- Terraform produces a diff, is the latest version commited? | ||
- [x] Marco will check the source code locally vs. on Lambda and report back | ||
|
||
### Sync-team | ||
|
||
- Different configurations in Terraform and Terragrunt | ||
- Terragrunt configuration seems unused | ||
- Was set up for the out-of-band confirmations | ||
- [x] Marco will destroy the infrastructure in Terragrunt and decommission the | ||
account | ||
- [ ] JD will create a tracking issue on GitHub | ||
|
||
### Discord-mods-bot | ||
|
||
- Can probably be deleted as well | ||
- [x] Marco will reach out to mods and check with them | ||
|
||
## Participants | ||
|
||
- Jakub | ||
- JD | ||
- Marco | ||
- Pietro |