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

add users to trusted-users #21

Merged

srid merged 1 commit into main from trusted-users

Mar 1, 2024

Member

shivaraj-bh commented Mar 1, 2024

resolves #20


          add users to trusted-users

69668e8

Member Author

shivaraj-bh commented Mar 1, 2024

crucial to use substituters

srid merged commit 958a602 into main

1 check passed

srid deleted the trusted-users branch

March 1, 2024 13:05

Collaborator

srid commented Mar 1, 2024

deployed.

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

Labels

None yet