chore: gitignore bootstrap file and minor cleanup of ci

This commit is contained in:
Jose Diaz-Gonzalez
2021-04-25 02:54:07 -04:00
parent 2c5d67b094
commit bb7a6cc03d
2 changed files with 2 additions and 1 deletions

View File

@@ -32,7 +32,7 @@ jobs:
- run: |
make generate
if ! git diff --quiet README.md; then
echo "Please run `make generate`"
echo "Please run 'make generate'"
git status --short
git --no-pager diff README.md
exit 1

1
.gitignore vendored
View File

@@ -1,2 +1,3 @@
/tmp
.vagrant
bootstrap.sh