Merge pull request #228 from ltratt/move_to_ghmqs

Move to GitHub merge queues.
softdevteam · Nov 21, 2023 · 2b33395 · 2b33395
2 parents 7055b7c + 0e4445f
commit 2b33395
Show file tree

Hide file tree

Showing 15 changed files with 367 additions and 376 deletions.
diff --git a/.buildbot.config.toml b/.buildbot.config.toml
@@ -10,7 +10,6 @@ extended = false
 
 [llvm]
 assertions = true           # Turn on assertions in LLVM.
-use-linker = "gold"         # Uses less memory than ld.
 
 [install]
 prefix = "build/rustc_boehm"

diff --git a/.github/workflows/sdci.yml b/.github/workflows/sdci.yml
@@ -0,0 +1,11 @@
+on:
+  pull_request:
+  merge_group:
+
+# This is required to silence emails about the workflow having no jobs.
+# We simply define a dummy job that does nothing much.
+jobs:
+  dummy:
+    runs-on: ubuntu-latest
+    steps:
+      - run: /usr/bin/true