Skip to content

Conversation

@kanarus
Copy link
Member

@kanarus kanarus commented Sep 15, 2025

No description provided.

github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
github-actions[bot]
github-actions bot previously approved these changes Sep 15, 2025
@kanarus
Copy link
Member Author

kanarus commented Sep 15, 2025

Now CI works successfully, and only the problem of rusty_mujoco's code itself causes the error. It means the goal of this PR is now achieved; This error will be fixed by next PR!

@kanarus kanarus merged commit d354abe into main Sep 15, 2025
6 of 12 checks passed
@kanarus kanarus deleted the chore/CI-aarch64-unknown-linux-gnu branch September 15, 2025 22:21
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.

2 participants