Skip to content

Commit

Permalink
Merge pull request #43 from ltratt/move_to_ghmqs
Browse files Browse the repository at this point in the history
Move to GitHub merge queues.
  • Loading branch information
vext01 authored Nov 9, 2023
2 parents fd99aad + da84378 commit 2b40373
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 6 deletions.
11 changes: 11 additions & 0 deletions .github/workflows/sdci.yml
Original file line number Diff line number Diff line change
@@ -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
6 changes: 0 additions & 6 deletions bors.toml

This file was deleted.

0 comments on commit 2b40373

Please sign in to comment.