Skip to content
Add labels to github PRs based on context

Fix opening non default workspace in webapp #1840

Sign in to view logs

Fix opening non default workspace in webapp

Fix opening non default workspace in webapp #1840

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Add Labels to PRs. Safe to Merge on fail
7s
7s