-
Notifications
You must be signed in to change notification settings - Fork 21
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This patch configures shpool to start using github actions for CI. It is cribbed from [wprs](https://github.com/wayland-transpositor/wprs/tree/master/.github/workflows). I found that miri can't handle all the stuff shpool does just yet (in particular the pipe2 syscall is not yet supported). We should periodically check to see if sufficient support has landed to test shpool under miri. I had to fix a bunch of lints since this adds a new linter that has not been run before over the codebase.
- Loading branch information
1 parent
ae60a9b
commit a8b3754
Showing
22 changed files
with
225 additions
and
145 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,18 @@ | ||
name: nightly | ||
on: | ||
schedule: | ||
- cron: '04 05 * * *' | ||
|
||
jobs: | ||
deny: | ||
name: cargo deny --all-features check | ||
runs-on: ubuntu-22.04 | ||
steps: | ||
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 | ||
- uses: moonrepo/setup-rust@b8edcc56aab474d90c7cf0bb8beeaf8334c15e9f | ||
with: | ||
bins: cargo-deny | ||
- run: cargo deny --all-features check | ||
|
||
postsubmit: | ||
uses: ./.github/workflows/presubmit.yml |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,60 @@ | ||
name: presubmit | ||
on: [push, pull_request, workflow_call, workflow_dispatch] | ||
|
||
jobs: | ||
test: | ||
name: cargo test --all-features | ||
runs-on: ubuntu-22.04 | ||
steps: | ||
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 | ||
- uses: moonrepo/setup-rust@b8edcc56aab474d90c7cf0bb8beeaf8334c15e9f | ||
- run: sudo apt-get install zsh fish | ||
- run: cargo test --all-features | ||
|
||
# miri does not handle all the IO we do, disabled for now. | ||
# | ||
# miri: | ||
# name: cargo +nightly miri test | ||
# runs-on: ubuntu-22.04 | ||
# steps: | ||
# - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 | ||
# - uses: moonrepo/setup-rust@b8edcc56aab474d90c7cf0bb8beeaf8334c15e9f | ||
# with: | ||
# components: miri | ||
# channel: nightly | ||
# - run: sudo apt-get install zsh fish | ||
# - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo +nightly miri test | ||
|
||
rustfmt: | ||
name: cargo +nightly fmt -- --check | ||
runs-on: ubuntu-22.04 | ||
steps: | ||
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 | ||
- uses: moonrepo/setup-rust@b8edcc56aab474d90c7cf0bb8beeaf8334c15e9f | ||
with: | ||
components: rustfmt | ||
channel: nightly | ||
- run: cargo +nightly fmt -- --check | ||
|
||
cranky: | ||
name: cargo +nightly cranky --all-targets -- -D warnings | ||
runs-on: ubuntu-22.04 | ||
steps: | ||
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 | ||
- uses: moonrepo/setup-rust@b8edcc56aab474d90c7cf0bb8beeaf8334c15e9f | ||
with: | ||
components: clippy | ||
bins: [email protected] | ||
channel: nightly | ||
- run: sudo apt-get install zsh fish | ||
- run: cargo +nightly cranky --all-targets -- -D warnings | ||
|
||
deny: | ||
name: cargo deny --all-features check licenses | ||
runs-on: ubuntu-22.04 | ||
steps: | ||
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 | ||
- uses: moonrepo/setup-rust@b8edcc56aab474d90c7cf0bb8beeaf8334c15e9f | ||
with: | ||
bins: cargo-deny | ||
- run: cargo deny --all-features check licenses |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.