Skip to content
Back to pull request #280

Use CRDB instead of SpiceDB for getting role resource #2176

Sign in to view logs

Use CRDB instead of SpiceDB for getting role resource

Use CRDB instead of SpiceDB for getting role resource #2176

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
6s
6s