-
Notifications
You must be signed in to change notification settings - Fork 0
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
GitHub action linkml docs #2
Conversation
test fix for permissions
@@ -1,14 +1,19 @@ | |||
name: Auto-deployment of bertron-schema Documentation | |||
on: | |||
#pull_request: |
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.
Is it time to uncomment this so we can see how things work in CI?
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.
LGTM! I left some suggestions:
- Uncomment lines as suggested by @jeff-cohere
- Remove extra whitespace character
#pull_request: | ||
# branches: | ||
# - main |
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.
I suggest uncommenting these lines and reformatting them to match the push
block below.
#pull_request: | |
# branches: | |
# - main | |
pull_request: | |
branches: [ main ] |
I don't know whether uncommenting this will cause the workflow to run in this PR (since the block does not exist on the main
branch yet), but uncommenting it before merging this PR branch in will put it on the main
branch so it can take effect for (at least) future PRs.
Co-authored-by: eecavanna <[email protected]>
@@ -32,7 +37,7 @@ jobs: | |||
|
|||
- name: Derive files from sources | |||
run: | | |||
make squeaky-clean all | |||
make all |
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.
this isn't needed for making the docs
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.
Good start!
No description provided.