File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2020 contents : write
2121 steps :
2222 - name : " Checkout"
23- uses : actions/checkout@v4
23+ uses : actions/checkout@v5
2424
2525 # Note: No caching for this build!
2626
Original file line number Diff line number Diff line change 2020 runs-on : ubuntu-latest
2121 permissions :
2222 contents : write
23+ pull-requests : write
2324 steps :
2425 - name : " Checkout"
25- uses : actions/checkout@v4
26+ uses : actions/checkout@v5
2627
2728 - name : " Setup"
2829 id : setup
@@ -41,10 +42,28 @@ jobs:
4142 restore-keys : i-d-
4243
4344 - name : " Build Drafts"
45+ id : build
4446 uses : martinthomson/i-d-template@v1
4547 with :
4648 token : ${{ github.token }}
4749
50+ - name : " Fix Lints"
51+ id : fix-lint
52+ if : always() && steps.build.outcome == 'failure'
53+ uses : martinthomson/i-d-template@v1
54+ with :
55+ make : fix-lint
56+
57+ - name : " Propose Linting Fixes"
58+ if : >
59+ always() &&
60+ steps.fix-lint.outcome != 'skipped' &&
61+ github.event.pull_request &&
62+ github.event.pull_request.head.repo.full_name == github.repository
63+ uses : parkerbxyz/suggest-changes@v3
64+ with :
65+ token : ${{ github.token }}
66+
4867 - name : " Update GitHub Pages"
4968 uses : martinthomson/i-d-template@v1
5069 if : ${{ github.event_name == 'push' }}
Original file line number Diff line number Diff line change 1717 runs-on : ubuntu-latest
1818 steps :
1919 - name : " Checkout"
20- uses : actions/checkout@v4
20+ uses : actions/checkout@v5
21+ with :
22+ # Needed for tracing file history for replacement status
23+ fetch-depth : 0
24+ fetch-tags : true
2125
2226 # See https://github.com/actions/checkout/issues/290
2327 - name : " Get Tag Annotations"
4044 restore-keys : i-d-
4145
4246 - name : " Build Drafts"
47+ id : build
4348 uses : martinthomson/i-d-template@v1
4449 with :
50+ make : releases
4551 token : ${{ github.token }}
4652
4753 - name : " Upload to Datatracker"
5056 make : upload
5157 env :
5258 UPLOAD_EMAIL : ${{ inputs.email }}
59+ GITHUB_STEP : upload
5360
5461 - name : " Archive Submitted Drafts"
5562 uses : actions/upload-artifact@v4
63+ if : always() && steps.build.outcome == 'success'
5664 with :
5765 name : published
5866 path : " versioned/draft-*-[0-9][0-9].*"
Original file line number Diff line number Diff line change 2222 build :
2323 name : " Update Files"
2424 runs-on : ubuntu-latest
25+ permissions :
26+ contents : write
2527 steps :
2628 - name : " Checkout"
27- uses : actions/checkout@v4
29+ uses : actions/checkout@v5
2830
2931 - name : " Update Generated Files"
3032 uses : martinthomson/i-d-template@v1
You can’t perform that action at this time.
0 commit comments