delete toml file from this PR as we're adding it in another PR first

model-checking · Jul 2, 2024 · 76a44b6 · 76a44b6
1 parent ecfbc00
commit 76a44b6
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/pull_requests.toml b/.github/pull_requests.toml