Skip to content

Conversation

@mgeisler
Copy link
Collaborator

These Rust-specific entries are for concepts taught on Day 1 and could thus be useful to have in the glossary.

These Rust-specific entries are for concepts taught on Day 1 and could
thus be useful to have in the glossary.
@mgeisler mgeisler requested a review from gribozavr October 19, 2025 14:59
@gribozavr gribozavr enabled auto-merge (squash) October 20, 2025 07:59
@gribozavr gribozavr disabled auto-merge October 28, 2025 10:17
@michael-kerscher
Copy link
Collaborator

michael-kerscher commented Oct 28, 2025

Regarding the error in the en build... It appears that the shell script did something wrong which I do not understand fully but also is not relevant anymore with porting the shell script in #2957 to more safe rust code.

I think this behavior originates in the branch being located in this repository and not in a forked repository. I'm not sure if GITHUB_BASE_REF contains what I expect it to contain...

@michael-kerscher
Copy link
Collaborator

Unfortunately to make this check pass, you would need to sync past the fix once it is submitted

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants