File tree 1 file changed +0
-18
lines changed
1 file changed +0
-18
lines changed Original file line number Diff line number Diff line change @@ -131,21 +131,3 @@ jobs:
131
131
- name : Install Rust
132
132
run : rustup update stable && rustup default stable && rustup component add rustfmt
133
133
- run : cargo fmt -- --check
134
-
135
- publish_docs :
136
- name : Publish Documentation
137
- runs-on : ubuntu-latest
138
- steps :
139
- - uses : actions/checkout@master
140
- - name : Install Rust
141
- run : rustup update stable && rustup default stable
142
- - name : Build documentation
143
- run : cargo doc --no-deps --all-features
144
- - name : Publish documentation
145
- run : |
146
- cd target/doc
147
- git init
148
- git add .
149
- git -c user.name='ci' -c user.email='ci' commit -m init
150
- git push -f -q https://git:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:gh-pages
151
- if : github.event_name == 'push' && github.event.ref == 'refs/heads/main'
You can’t perform that action at this time.
0 commit comments