File tree 1 file changed +4
-6
lines changed
1 file changed +4
-6
lines changed Original file line number Diff line number Diff line change @@ -17,22 +17,20 @@ jobs:
17
17
environment : Release
18
18
runs-on : ubuntu-latest
19
19
steps :
20
- - uses : actions/checkout@v3
21
20
- name : Configure Git User # may be removed after https://github.com/actions/checkout/issues/13 is resolved
21
+ uses : actions/checkout@v3
22
22
run : |
23
23
git config user.email "${{ github.actor }}@users.noreply.github.com"
24
24
git config user.name "${{ github.actor }}"
25
- # - name: Checkout
26
- # uses: actions/checkout@v4
27
25
- name : Set up python
28
- - uses : actions/setup-python@v5
26
+ uses : actions/setup-python@v5
29
27
with :
30
28
python-version : ' 3.11'
31
29
- name : Build
32
- - uses : actions/checkout@v4
30
+ uses : actions/checkout@v4
33
31
run : make compile-with-docker-all
34
32
- name : Release
35
- - uses : softprops/action-gh-release@v2
33
+ uses : softprops/action-gh-release@v2
36
34
if : startsWith(github.ref, 'refs/tags/')
37
35
with :
38
36
files : |
You can’t perform that action at this time.
0 commit comments