Delete PR workflow

juju · Oct 18, 2023 · 2f6cfce · 2f6cfce
1 parent 47f1fd3
commit 2f6cfce
Showing 1 changed file with 0 additions and 13 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml