@@ -24,15 +24,15 @@ jobs:
24
24
include :
25
25
- python-version : ' 3.13-dev'
26
26
allow-failure : true
27
- continue-on-error : ' ${{ matrix.allow-failure }}'
27
+ continue-on-error : ${{ matrix.allow-failure }}
28
28
name : ' test (${{ matrix.python-version }})'
29
29
steps :
30
30
- name : Check out source code
31
- uses : actions/checkout@v3
31
+ uses : actions/checkout@v4
32
32
with :
33
33
fetch-depth : 0
34
34
- name : Set up PDM
35
- uses : pdm-project/setup-pdm@v3
35
+ uses : pdm-project/setup-pdm@v4
36
36
with :
37
37
python-version : ${{ matrix.python-version }}
38
38
- name : Install dependencies
44
44
pip install codecov build
45
45
pdm install --dev
46
46
- name : Cache YoWASP build products
47
- uses : actions/cache@v3
47
+ uses : actions/cache@v4
48
48
with :
49
49
path : ~/.cache/YoWASP
50
50
key : YoWASP-${{ runner.os }}-${{ hashFiles('./.venv/**/*.wasm') }}
@@ -54,21 +54,21 @@ jobs:
54
54
run : |
55
55
pdm run test
56
56
- name : Submit code coverage
57
- run :
57
+ run : |
58
58
codecov
59
59
60
60
document :
61
61
runs-on : ubuntu-latest
62
62
steps :
63
63
- name : Check out source code
64
- uses : actions/checkout@v3
64
+ uses : actions/checkout@v4
65
65
with :
66
66
fetch-depth : 0
67
67
- name : Fetch tags from upstream repository
68
68
run : |
69
69
git fetch --tags https://github.com/amaranth-lang/amaranth.git
70
70
- name : Set up PDM
71
- uses : pdm-project/setup-pdm@v3
71
+ uses : pdm-project/setup-pdm@v4
72
72
with :
73
73
python-version : ' 3.11'
74
74
- name : Install dependencies
78
78
run : |
79
79
pdm run document
80
80
- name : Upload documentation archive
81
- uses : actions/upload-artifact@v3
81
+ uses : actions/upload-artifact@v4
82
82
with :
83
83
name : docs
84
84
path : docs/_build
@@ -87,27 +87,27 @@ jobs:
87
87
needs :
88
88
- test
89
89
- document
90
- if : always() && !contains(needs.*.result, 'cancelled')
90
+ if : ${{ always() && !contains(needs.*.result, 'cancelled') }}
91
91
runs-on : ubuntu-latest
92
92
steps :
93
93
- run : ${{ contains(needs.*.result, 'failure') && 'false' || 'true' }}
94
94
95
95
publish-docs :
96
96
needs : document
97
- if : github.repository == 'amaranth-lang/amaranth'
97
+ if : ${{ github.repository == 'amaranth-lang/amaranth' }}
98
98
runs-on : ubuntu-latest
99
99
steps :
100
100
- name : Check out source code
101
- uses : actions/checkout@v3
101
+ uses : actions/checkout@v4
102
102
with :
103
103
fetch-depth : 0
104
104
- name : Download documentation archive
105
- uses : actions/download-artifact@v3
105
+ uses : actions/download-artifact@v4
106
106
with :
107
107
name : docs
108
108
path : docs/
109
109
- name : Publish development documentation
110
- if : github.event_name == 'push' && github.event.ref == 'refs/heads/main'
110
+ if : ${{ github.event_name == 'push' && github.event.ref == 'refs/heads/main' }}
111
111
uses : JamesIves/github-pages-deploy-action@releases/v4
112
112
with :
113
113
repository-name : amaranth-lang/amaranth-lang.github.io
@@ -116,7 +116,7 @@ jobs:
116
116
folder : docs/
117
117
target-folder : docs/amaranth/latest/
118
118
- name : Publish release documentation
119
- if : github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v')
119
+ if : ${{ github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v') }}
120
120
uses : JamesIves/github-pages-deploy-action@releases/v4
121
121
with :
122
122
repository-name : amaranth-lang/amaranth-lang.github.io
@@ -127,15 +127,15 @@ jobs:
127
127
128
128
publish-docs-dev :
129
129
needs : document
130
- if : github.repository != 'amaranth-lang/amaranth'
130
+ if : ${{ github.repository != 'amaranth-lang/amaranth' }}
131
131
runs-on : ubuntu-latest
132
132
steps :
133
133
- name : Check out source code
134
- uses : actions/checkout@v3
134
+ uses : actions/checkout@v4
135
135
with :
136
136
fetch-depth : 0
137
137
- name : Download documentation archive
138
- uses : actions/download-artifact@v3
138
+ uses : actions/download-artifact@v4
139
139
with :
140
140
name : docs
141
141
path : pages/docs/${{ github.ref_name }}/
0 commit comments