Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/gen_index_html.sh
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@ for branch in $SORTED; do
echo " <td nowrap class=\"bg\"> <table> <tr> <td nowrap><a href=\"$branch/draft-yn-netmod-yang2-00.html\">html</a> / <a href=\"$branch/draft-yn-netmod-yang2-00.txt\">text</a> / <a href=\"$branch/draft-yn-netmod-yang2-00.xml\">xml</a></td> </tr> </table> </td>" >> index.html

if [ $branch = "main" ]; then
echo " <td nowrap class=\"bg\"><a href=\"https://author-tools.ietf.org/iddiff?url_1=https://netmod-wg.github.io/yang2/main/rfc7950.txt&url_2=https://netmod-wg.github.io/yang2/main/draft-yn-netmod-yang2-00.txt\">Diff with RFC7950</a><!--<br><a href=\"https://author-tools.ietf.org/api/iddiff?doc_1=draft-yn-netmod-yang2&url_2=https://netmod-wg.github.io/yang2/main/draft-yn-netmod-yang2-00.txt\"><s>Diff with Datatracker</s></a>--> </td>" >> index.html
echo " <td nowrap class=\"bg\"><a href=\"https://author-tools.ietf.org/iddiff?url_1=https://netmod-wg.github.io/yang2/main/rfc7950.txt&url_2=https://netmod-wg.github.io/yang2/main/draft-yn-netmod-yang2-00.txt\">Diff with RFC7950</a><br><a href=\"https://author-tools.ietf.org/api/iddiff?doc_1=draft-yn-netmod-yang2&url_2=https://netmod-wg.github.io/yang2/main/draft-yn-netmod-yang2-00.txt.paged.txt\">Diff with Datatracker</a> </td>" >> index.html
else
echo " <td nowrap class=\"bg\"> <a href=\"https://author-tools.ietf.org/api/iddiff?url_1=https://netmod-wg.github.io/yang2/$BASE/draft-yn-netmod-yang2-00.txt&url_2=https://netmod-wg.github.io/yang2/$branch/draft-yn-netmod-yang2-00.txt\">Diff with Main</a> </td>" >> index.html
fi
Expand Down
23 changes: 21 additions & 2 deletions .github/workflows/pull_request_updated.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@ on:

jobs:
add_checklist:
name: Add Checklist
runs-on: ubuntu-latest
if: github.event.action == 'opened'
steps:
Expand Down Expand Up @@ -86,7 +87,7 @@ jobs:
}
- name: Test summary line for changes
run: |
echo "${{env.SUMMARY_LINE}}" | grep -qF "0 flaws (~~), 3 warnings (==), 7 comments (--)" || {
echo "${{env.SUMMARY_LINE}}" | grep -qF "0 flaws (~~), 3 warnings (==), 6 comments (--)" || {
echo "::error::Idnits summary line different - examine why (fix workflow if needed)"
exit 1
}
Expand Down Expand Up @@ -124,10 +125,28 @@ jobs:
# fi
#

ensure_checklist_complete:
name: Ensure Checklist Complete
runs-on: ubuntu-latest
steps:
- name: Ensure Checklist Complete
uses: peter-evans/find-comment@v4
id: fc
with:
issue-number: ${{github.event.number}}
comment-author: 'github-actions[bot]'
body-includes: 'All of the following must be verified before merging to `main`.'
- run: |
if ${{ contains(steps.fc.outputs.comment-body, '[ ] Updated') }} ; then
echo "All checklist items must be selected."
exit 1
fi


update_github_pages:
name: Update the GitHub Page
runs-on: ubuntu-latest
needs: [xml2rfc, idnits_v2]
needs: xml2rfc
permissions:
pages: write
id-token: write
Expand Down
Loading