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.

Sign up for GitHub

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

Jump to bottom

Update disk allocations #48

Merged

jaimergp merged 1 commit into main from disk

Nov 8, 2024

Collaborator

jaimergp commented Nov 7, 2024

To obtain access to the CI server, you must complete the form below:

I have read the Terms of Service and Privacy Policy and accept them.
I have included my GitHub username and unique identifier to the relevant access/*.json file.

Closes #47


          Update disk allocations

414ecc8

jaimergp merged commit 0816ef2 into main

1 check passed

jaimergp deleted the disk branch

November 8, 2024 11:06

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

Labels

None yet