File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -18,12 +18,13 @@ jobs:
1818 # First try to download previous artifacts to have as fallback
1919 - name : 📥 Download previous formal spec HTML for fallback
2020 id : download_previous
21- uses : dawidd6/action-download-artifact@v2
21+ uses : dawidd6/action-download-artifact@v6
2222 continue-on-error : true
2323 with :
2424 name : formal-spec-html
2525 path : previous-formal-spec-html
2626 if_no_artifact_found : ignore
27+ allow_forks : false
2728
2829 - name : Check previous artifacts
2930 id : check_previous
@@ -45,13 +46,14 @@ jobs:
4546
4647 - name : 📥 Download formal spec HTML
4748 id : download_new
48- uses : dawidd6/action-download-artifact@v2
49+ uses : dawidd6/action-download-artifact@v6
4950 continue-on-error : true
5051 with :
5152 name : formal-spec-html
5253 repo : input-output-hk/ouroboros-leios-formal-spec
5354 path : new-formal-spec-html
5455 token : ${{ secrets.FORMAL_SPEC_PAT || github.token }}
56+ allow_forks : false
5557
5658 - name : Prepare final formal spec HTML
5759 run : |
You can’t perform that action at this time.
0 commit comments