Skip to content

Commit

Permalink
Initial commit and public release
Browse files Browse the repository at this point in the history
  • Loading branch information
udoprog committed Apr 18, 2022
0 parents commit 3a01ba2
Show file tree
Hide file tree
Showing 99 changed files with 11,185 additions and 0 deletions.
68 changes: 68 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,68 @@
name: CI

on: [push, pull_request]

jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
override: true
profile: minimal
- name: cargo check
uses: actions-rs/cargo@v1
with:
command: build
args: --tests --benches --examples --all-targets

test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
override: true
profile: minimal
- name: cargo check
uses: actions-rs/cargo@v1
with:
command: check
args: --tests --benches
- name: cargo test
uses: actions-rs/cargo@v1
with:
command: test

miri:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- uses: actions-rs/toolchain@v1
with:
toolchain: nightly
override: true
components: miri
- name: cargo miri test
uses: actions-rs/cargo@v1
with:
command: miri
args: test

rustfmt:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
override: true
components: rustfmt
- name: cargo miri test
uses: actions-rs/cargo@v1
with:
command: fmt
args: --check
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
/target
Loading

0 comments on commit 3a01ba2

Please sign in to comment.