Remove the "main" workflow

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