Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

unixPB: RISC-V updates and use docker.io on Ubuntu 20+ #3092

Closed
wants to merge 1 commit into from

Conversation

sxa
Copy link
Member

@sxa sxa commented Jun 9, 2023

Checklist

Likely supercedes #2850 as this has extra changes and makes the docker.io install not specific to RISC-V

This will allow us to easily set up the rest of the PLCTlab machines as per #3078

@sxa sxa added this to the 2023-06 (June) milestone Jun 9, 2023
@sxa sxa self-assigned this Jun 9, 2023
@sxa sxa changed the title unixPB: RISC-V updates and use docker.io on Ubuntu 20+ unixPB: RISC-V updates and use docker.io on Ubuntu 20+ Jun 9, 2023
@sxa sxa modified the milestones: 2023-06 (June), 2023-07 (July) Jul 7, 2023
@sxa sxa modified the milestones: 2023-07 (July), 2023-08 (August) Aug 8, 2023
@sxa
Copy link
Member Author

sxa commented Nov 9, 2023

@sxa sxa closed this Nov 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant