Skip to content

Conversation

@stv0g
Copy link
Contributor

@stv0g stv0g commented Jan 26, 2026

/cc @pjungkamp

Cherry-picked this CI fix from #920

Signed-off-by: Philipp Jungkamp <philipp.jungkamp@rwth-aachen.de>

Signed-off-by: Steffen Vogel <steffen.vogel@opal-rt.com>
@stv0g stv0g requested a review from n-eiling as a code owner January 26, 2026 08:38
@stv0g stv0g merged commit 0ed61be into master Jan 26, 2026
3 checks passed
@stv0g stv0g deleted the fix-nix-arx-ci branch January 26, 2026 08:57
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.

3 participants