Skip to content

Commit

Permalink
delete /tools/pr_status_poster (Fixes #202) (#203)
Browse files Browse the repository at this point in the history
  • Loading branch information
davidstanke authored Apr 11, 2023
1 parent 9256019 commit 74c1c37
Show file tree
Hide file tree
Showing 3 changed files with 0 additions and 60 deletions.
7 changes: 0 additions & 7 deletions tools/pr-status-poster/Dockerfile

This file was deleted.

8 changes: 0 additions & 8 deletions tools/pr-status-poster/cloudbuild.yaml

This file was deleted.

45 changes: 0 additions & 45 deletions tools/pr-status-poster/set-check-status.py

This file was deleted.

0 comments on commit 74c1c37

Please sign in to comment.