[Question]: Does this still work?

[pdeitel]

Please note we will close your issue without comment if you delete, do not read or do not fill out the issue checklist below and provide ALL the requested information.

• [ x ] I am not reporting a bug or asking for a new feature
• [ x ] I am asking a general question about, e.g., the internal workings of this software, the direct use of this software, or use cases for this software, etc.

Please be descriptive, precise and concise. Thanks!

I just tried following the instructions and it installed GCC 10, but I was expecting to get the latest nightly build. Is there something I need to do to get GCC 13 trunk?