-
Notifications
You must be signed in to change notification settings - Fork 9
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
ci: remove redundant 'cd build'; use 'set -e' in scripts #70
Conversation
I think that the removal of
|
- name: Deploy website | ||
if: github.event_name == 'push' | ||
run: | | ||
git config --global user.name SymbiFlow | ||
git config --global user.mail robot@mith.ro | ||
git config --global push.default simple | ||
git fetch origin --tags |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We want --tags
so that git describe
gives the right output.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Option fetch-depth: 0
was implemented for this use case. See:
https://github.com/actions/checkout/#usage
# Number of commits to fetch. 0 indicates all history for all branches and tags.
# Default: 1
fetch-depth: ''
Signed-off-by: Unai Martinez-Corral <umartinezcorral@antmicro.com>
Signed-off-by: Unai Martinez-Corral <umartinezcorral@antmicro.com>
Signed-off-by: Unai Martinez-Corral <umartinezcorral@antmicro.com>
Closing because of https://github.com/f4pga/f4pga-website/tree/main/.github/workflows.
|
This PR brings a couple of minor enhancements to the CI scripts.