11on :
2- push :
3- branches : [main]
4- workflow_dispatch :
5- jobs :
6- extensions :
7- runs-on : ubuntu-latest
8- steps :
9- - name : Checkout repository
10- uses : actions/checkout@v4
11- with :
12- token : ${{ secrets.RELEASE_TOKEN }}
13- - name : Configure git user
14- run : |
15- git config --local user.email "[email protected] " 16- git config --local user.name "GitHub Action"
17- - name : Download flowR release
18- uses : robinraju/release-downloader@v1
19- with :
20- repository : flowr-analysis/vscode-flowr
21- latest : true
22- fileName : " *.vsix"
23- - name : Cleanup previous flowR release
24- run : |
25- rm -rf .vscode/extensions/vscode-flowr
26- mkdir -p .vscode/extensions/vscode-flowr
27- - name : Unpack flowR release
28- run : |
29- unzip -o *.vsix -d _unpacked
30- cp -a _unpacked/extension/. .vscode/extensions/vscode-flowr
31- rm -r _unpacked *.vsix
32- - name : Commit and push changes
33- run : |
34- git add .
35- git commit -m "[skip ci] Update flowR extension"
36- git push
37-
2+ push :
3+ branches : [main]
4+ workflow_dispatch :
5+ jobs :
6+ extensions :
7+ runs-on : ubuntu-latest
8+ steps :
9+ - name : Checkout repository
10+ uses : actions/checkout@v4
11+ with :
12+ token : ${{ secrets.RELEASE_TOKEN }}
13+ - name : Configure git user
14+ run : |
15+ git config --local user.email "[email protected] " 16+ git config --local user.name "GitHub Action"
17+ - name : Download flowR release
18+ uses : robinraju/release-downloader@v1
19+ with :
20+ repository : flowr-analysis/vscode-flowr
21+ latest : true
22+ fileName : " *.vsix"
23+ - name : Cleanup previous flowR release
24+ run : |
25+ rm -rf .vscode/extensions/vscode-flowr
26+ mkdir -p .vscode/extensions/vscode-flowr
27+ - name : Unpack flowR release
28+ run : |
29+ unzip -o *.vsix -d _unpacked
30+ cp -a _unpacked/extension/. .vscode/extensions/vscode-flowr
31+ rm -r _unpacked *.vsix
32+ - name : Commit and push changes
33+ run : |
34+ git add .
35+ git commit -m "[skip ci] Update flowR extension"
36+ git push
0 commit comments