Rustc Dev Guide WG 2019-10-01 sync meeting
Team discussed that watching same video by all members, one video at a time, works well for everyone so far
- Everyone is taking notes in this paper doc.
- Discussion was about this lecture https://github.com/rust-lang/rustc-dev-guide/issues/375
@Santiago Pastorino reported that How to build and run guide page needs help
- Team might create a new doc for this page to collect ideas.
@mark-i-m reported that
- It seems our CI is broken, as this should not be passing: https://travis-ci.com/rust-lang/rustc-dev-guide/builds/129892160
- @Amanjeev Sethi chose to take up on this task.
- There are a bunch of broken links in the Chalk chapter
- @Tshepang Lekhonkhobe chose to take up on this task.