Remove the "main" workflow

This workflow is redundant now that Bors is no longer used. Remove it.
rust-lang · Nov 16, 2024 · edb5f84 · edb5f84
1 parent 2d58059
commit edb5f84
Showing 1 changed file with 0 additions and 86 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml