Azure Pipelines: Give contributors access to build log about opentitan HOT 5 CLOSED

As Azure Pipelines is meant to be a stopgap solution, the stopgap solution you propose (adding active contributors manually) to this limitation seems the best approach for the time being.

Maybe with the GitHub acquisition, Azure Pipelines will gain the ability to do oauth with GitHub, allowing team access permissions (just like bubble.servers.lowrisc.org does for the docs).

from opentitan.

As expected after the GitHub acquisition, things are getting better integrated. Soon a GitHub account will allow users to log in to Azure, as announced today in https://azure.microsoft.com/en-gb/blog/accelerating-devops-with-github-and-azure/

Sign in to Azure and Azure DevOps with your GitHub account

We also know there are a lot of developers who have GitHub personal accounts and don’t have a Microsoft managed identity. We’re also excited to announce that GitHub users will be able to sign in to Azure and Azure DevOps using an existing GitHub account later this week. Just go to the Azure portal or Azure DevOps page and click the GitHub icon to login. This integration makes it even easier for developers to go from code to cloud.

It's likely that GitHub group support comes soon as well. So I'm not planning to do anything on our side for now.

from opentitan.

Scrubbing stale issues. @imphil , have they enabled this capability yet?

from opentitan.

no

from opentitan.

https://dev.azure.com/lowrisc/opentitan is now public, all build results are visible there.

from opentitan.