Skip to content
Add assignee to PR

docs: add bookmarklet tip to ERD web documentation #619

Sign in to view logs

docs: add bookmarklet tip to ERD web documentation

docs: add bookmarklet tip to ERD web documentation #619

Triggered via pull request February 7, 2025 01:15
@devin-ai-integrationdevin-ai-integration[bot]
opened #693
devin/1738890915-add-bookmarklet-docs
Status Skipped
Total duration 3s
Artifacts –

add_assignee_to_pr.yml

on: pull_request
add-assignee-to-pr  /  Add assignee to PR
0s
add-assignee-to-pr / Add assignee to PR
Fit to window
Zoom out
Zoom in