New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

[github workflow] remove packages #1085

Merged

stnolting merged 2 commits into main from replace_docker_img

Nov 1, 2024

Owner

stnolting commented Nov 1, 2024 •

edited

Loading

I would like to reduce the amount of (external) dependencies. Hence, this PR removes the sim package.


          [.github] remove docker packages

d7deb08

stnolting added CI cleanup labels

stnolting self-assigned this


          [.github] minor cleanups

40d2da8

stnolting marked this pull request as ready for review

November 1, 2024 12:41

stnolting merged commit 879969f into main

4 checks passed

stnolting deleted the replace_docker_img branch

November 1, 2024 12:44

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels