Skip to content

Commit 5d1ba5d

Browse files
committed
Create file before
1 parent ceca59e commit 5d1ba5d

1 file changed

Lines changed: 7 additions & 6 deletions

File tree

.github/workflows/ci.yml

Lines changed: 7 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -112,10 +112,14 @@ jobs:
112112
- name: Setup GitHub token for dune-release
113113
if: startsWith(github.ref, 'refs/tags/') && matrix.os == 'ubuntu-latest' && matrix.ocaml-compiler == '5.1.1'
114114
run: |
115-
echo "${{ secrets.GH_TOKEN }}" > ~/.github-token
115+
mkdir -p ~/.config/dune/
116+
echo "${{ secrets.GH_TOKEN }}" > ~/.config/dune/github.token
116117
117118
- name: Lint opam files
118119
if: startsWith(github.ref, 'refs/tags/') && matrix.os == 'ubuntu-latest' && matrix.ocaml-compiler == '5.1.1'
120+
env:
121+
TERM: dumb
122+
OPAMYES: 1
119123
run: opam exec -- dune-release lint
120124

121125
- name: Extract version from tag
@@ -144,11 +148,8 @@ jobs:
144148
- name: Submit to opam repository
145149
if: startsWith(github.ref, 'refs/tags/') && matrix.os == 'ubuntu-latest' && matrix.ocaml-compiler == '5.1.1'
146150
env:
147-
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
151+
GITHUB_TOKEN: ${{ secrets.GH_TOKEN }}
152+
DUNE_RELEASE_DELEGATE: github-dune-release
148153
run: |
149-
# Configure opam-publish with GitHub token
150-
mkdir -p ~/.config/dune/
151-
echo "${{ secrets.GITHUB_TOKEN }}" > ~/.config/dune/github.token
152-
153154
# Submit to opam-repository
154155
opam exec -- dune-release opam submit --yes --change-log=./CHANGES.md

0 commit comments

Comments
 (0)