Skip to content

workflows: update pr-auditor workflow#181

Merged
sourcegraph-bot-devx merged 1 commit intomasterfrom
update-pr-auditor-redux-2.0
Jul 18, 2024
Merged

workflows: update pr-auditor workflow#181
sourcegraph-bot-devx merged 1 commit intomasterfrom
update-pr-auditor-redux-2.0

Conversation

@BolajiOlajide
Copy link
Copy Markdown
Contributor

@BolajiOlajide BolajiOlajide commented Jun 26, 2024

This pull request updates the pr-auditor workflow.

Test plan

We have tested the code itself in https://github.com/sourcegraph/devx-service/tree/main/cmd/pr-auditor,
and the pr-auditor action should continue working as expected on this pull request.

Created by Sourcegraph batch change bolaji.olajide/PR-Auditor-2.0.

@BolajiOlajide BolajiOlajide force-pushed the update-pr-auditor-redux-2.0 branch from 0f898be to 3c1021a Compare July 16, 2024 09:36
@sourcegraph-bot-devx sourcegraph-bot-devx force-pushed the update-pr-auditor-redux-2.0 branch from 3c1021a to d4364ad Compare July 16, 2024 13:57
@sourcegraph-bot-devx sourcegraph-bot-devx merged commit 687bfe0 into master Jul 18, 2024
@sourcegraph-bot-devx sourcegraph-bot-devx deleted the update-pr-auditor-redux-2.0 branch July 18, 2024 17:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants