1
0
mirror of https://github.com/mgechev/revive.git synced 2025-01-08 03:13:27 +02:00

infra: update dir name

This commit is contained in:
mgechev 2018-10-30 15:19:49 -07:00
parent 33a4e4354c
commit 15e9397722
No known key found for this signature in database
GPG Key ID: A98CD29F2650FAD2

View File

@ -4,7 +4,7 @@ install: make install
script:
- make build
- make test
- git clone https://github.com/mgechev/revive.run revive && cd revive
- git clone https://github.com/mgechev/revive.run revive-docs && cd revive-docs
- npm i && npm run build
- git add .
- git commit -am 'Update docs'