Merge pull request #3557 from JohnTitor/fix-ci

Fix CI for v0.2
rust-lang · Jan 27, 2024 · b56e4b3 · b56e4b3
2 parents af77d17 + 941f825
commit b56e4b3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 385 deletions.
diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml