Mirrors/ratatui
2
0
Fork 0
mirror of https://github.com/ratatui-org/ratatui synced 2024-11-10 07:04:17 +00:00
Code Issues Projects Releases Packages Wiki Activity

chore(ci): enable merge queue for builds (#235)

Browse source 
* chore(ci): enable merge queue for builds

https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue

* style(ci): format the ci workflow
This commit is contained in:
Orhun Parmaksız 2023-06-11 22:28:17 +02:00 committed by GitHub
parent 26dbb29b3d
commit 4a2ff204ec
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/ci.yml vendored
View file

@ -5,6 +5,8 @@ on:
pull_request:
branches:
- main
merge_group:
name: CI
@ -15,8 +17,8 @@ jobs:
test:
strategy:
matrix:
os: [ubuntu-latest, windows-latest, macos-latest]
rust: ["1.65.0", "stable"]
os: [ ubuntu-latest, windows-latest, macos-latest ]
rust: [ "1.65.0", "stable" ]
include:
- os: ubuntu-latest
triple: x86_64-unknown-linux-musl