File tree Expand file tree Collapse file tree 2 files changed +42
-22
lines changed Expand file tree Collapse file tree 2 files changed +42
-22
lines changed Original file line number Diff line number Diff line change
1
+ name : CI
2
+ on : [push, pull_request]
3
+
4
+ jobs :
5
+ test :
6
+ name : Test
7
+ runs-on : ubuntu-latest
8
+ strategy :
9
+ matrix :
10
+ rust : [stable, beta, nightly]
11
+ steps :
12
+ - uses : actions/checkout@master
13
+ - name : Install Rust
14
+ run : rustup update ${{ matrix.rust }} && rustup default ${{ matrix.rust }}
15
+ - run : cargo test
16
+
17
+ rustfmt :
18
+ name : Rustfmt
19
+ runs-on : ubuntu-latest
20
+ steps :
21
+ - uses : actions/checkout@master
22
+ - name : Install Rust
23
+ run : rustup update stable && rustup default stable && rustup component add rustfmt
24
+ - run : cargo fmt -- --check
25
+
26
+ publish_docs :
27
+ name : Publish Documentation
28
+ runs-on : ubuntu-latest
29
+ steps :
30
+ - uses : actions/checkout@master
31
+ - name : Install Rust
32
+ run : rustup update stable && rustup default stable
33
+ - name : Build documentation
34
+ run : cargo doc --no-deps --all-features
35
+ - name : Publish documentation
36
+ run : |
37
+ cd target/doc
38
+ git init
39
+ git add .
40
+ git -c user.name='ci' -c user.email='ci' commit -m init
41
+ git push -f -q https://git:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:gh-pages
42
+ if : github.event_name == 'push' && github.event.ref == 'refs/heads/master'
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments