File tree Expand file tree Collapse file tree 2 files changed +9
-77
lines changed Expand file tree Collapse file tree 2 files changed +9
-77
lines changed Original file line number Diff line number Diff line change @@ -2,31 +2,13 @@ name: Releases
22on :
33 workflow_dispatch :
44
5- permissions :
6- contents : read
7-
85jobs :
9- publish_release :
10- runs-on : [self-hosted, Linux]
11- container :
12- image : lampepfl/dotty:2021-03-22
13- options : --cpu-shares 4096
14-
15- env :
16- SDKMAN_KEY : ${{ secrets.SDKMAN_KEY }}
17- SDKMAN_TOKEN : ${{ secrets.SDKMAN_TOKEN }}
18-
19- steps :
20- - name : Reset existing repo
21- run : |
22- git config --global --add safe.directory /__w/dotty/dotty
23- git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true
24-
25- - name : Cleanup
26- run : .github/workflows/cleanup.sh
27-
28- - name : Git Checkout
29- uses : actions/checkout@v4
30-
31- - name : Publish to SDKMAN
32- run : .github/workflows/scripts/publish-sdkman.sh
6+ publish-sdkman :
7+ uses : ./.github/workflows/release-sdkman.yml
8+ with :
9+ version : ' ???' # TODO: Find a way to extract the version number. Easiest way would be to add it as an input
10+ secrets :
11+ CONSUMER-KEY : ${{ secrets.SDKMAN_KEY }}
12+ CONSUMER-TOKEN : ${{ secrets.SDKMAN_TOKEN }}
13+
14+ # TODO: ADD RELEASE WORKFLOW TO CHOCOLATEY AND OTHER PACKAGE MANAGERS HERE
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments