Deploy #713
Triggered via workflow run
November 8, 2023 15:18
github-merge-queue[bot]
github-merge-queue[bot]
completed
3b5eed1
Status
Success
Total duration
2m 2s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
deploy.yaml
on: workflow_run
publish-extension
1m 32s
Push cursorless-talon subrepo
8s