Merged Pull Request

Remove unused agent-pool-id field from Workspace model #411

Sign in to view logs

Summary
Jobs
- merge_job
Run details
- Usage
- Workflow file

Triggered via pull request November 13, 2023 16:55

brandonc

closed #815

Status Success

Total duration 12s

Artifacts –

merged-pr.yml

on: pull_request_target