Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

cd: prerelease #968

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

cd: prerelease #968

Show file tree
Hide file tree
Changes from 3 commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
bb89c62
Update cd.yml
gares Dec 16, 2024
5398226
Update publish-server.yml
gares Dec 16, 2024
78cb85e
Update cd.yml
gares Dec 16, 2024
a582f8b
Update .github/workflows/publish-server.yml
gares Dec 16, 2024
3bc13a9
Update .github/workflows/cd.yml
gares Dec 16, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
30 changes: 28 additions & 2 deletions .github/workflows/cd.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -37,12 +37,38 @@ jobs:
mkdir -p ~/.opam/plugins/opam-publish
printf "$OPAM_PUBLISH_TOKEN" > ~/.opam/plugins/opam-publish/vscoqbot.token

- name: Publish
- name: Create archive
run: |
VERSION_SLUG="${GITHUB_REF_NAME_SLUG#v}"
VERSION="${GITHUB_REF_NAME#v}"
cd language-server
git archive -o vscoq-language-server-$VERSION.tar.gz --prefix=vscoq-language-server-$VERSION/ $VERSION_SLUG .

- name: Release archive
uses: softprops/action-gh-release@v1
with:
files: vscoq-language-server-*.tar.gz
fail_on_unmatched_files: true
append_body: true
gares marked this conversation as resolved.
Show resolved Hide resolved

- name: Publish release
if: ${{ !github.event.release.prerelease }}
run: |
eval $(opam env)
VERSION_SLUG="${GITHUB_REF_NAME_SLUG#v}"
VERSION="${GITHUB_REF_NAME#v}"
cd language-server
git config --global user.name vscoqbot
git config --global user.email vscoqbot@inria.fr
opam publish --no-browser -v $VERSION https://github.com/coq/vscoq/releases/download/$GITHUB_REF_NAME/vscoq-language-server-$VERSION_SLUG.tar.gz vscoq-language-server.opam

- name: Publish prerelease
if: ${{ github.event.release.prerelease }}
run: |
eval $(opam env)
VERSION_SLUG="${GITHUB_REF_NAME_SLUG#v}"
VERSION="${GITHUB_REF_NAME#v}"
cd language-server
git config --global user.name vscoqbot
git config --global user.email vscoqbot@inria.fr
opam publish --no-browser -v $VERSION https://github.com/coq-community/vscoq/releases/download/$GITHUB_REF_NAME/vscoq-language-server-$VERSION_SLUG.tar.gz vscoq-language-server.opam
opam publish --no-browser --packages-directory=extra-dev/packages --repo=coq/opam -v $VERSION https://github.com/coq/vscoq/releases/download/$GITHUB_REF_NAME/vscoq-language-server-$VERSION_SLUG.tar.gz vscoq-language-server.opam
46 changes: 40 additions & 6 deletions .github/workflows/publish-server.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,13 @@
on:
workflow_dispatch:
inputs:
tags:
description: 'Tag to use for release'
tag:
description: 'Tag to use for release'
required: true
prerelease:
description: 'Is this a pre-release'
required: true
default: false

jobs:

Expand Down Expand Up @@ -38,12 +43,41 @@ jobs:
mkdir -p ~/.opam/plugins/opam-publish
printf "$OPAM_PUBLISH_TOKEN" > ~/.opam/plugins/opam-publish/vscoqbot.token

- name: Publish
- name: Create archive
run: |
VERSION_SLUG="${{ github.event.inputs.tag }}"
VERSION="${VERSION_SLUG#v}"
cd language-server
git archive -o vscoq-language-server-$VERSION.tar.gz --prefix=vscoq-language-server-$VERSION/ $VERSION_SLUG .

- name: Release archive
uses: softprops/action-gh-release@v1
with:
files: vscoq-language-server-*.tar.gz
fail_on_unmatched_files: true
prerelease: ${{ github.event.inputs.prerelease }}
draft: true
generate_release_notes: true
name: VSCoq ${{ github.event.inputs.tag }}
gares marked this conversation as resolved.
Show resolved Hide resolved

- name: Publish release
if: ${{ !github.event.inputs.prerelease }}
run: |
eval $(opam env)
VERSION_SLUG="${{ github.event.inputs.tag }}"
VERSION="${VERSION_SLUG#v}"
cd language-server
git config --global user.name vscoqbot
git config --global user.email vscoqbot@inria.fr
opam publish --no-browser -v $VERSION https://github.com/coq-community/vscoq/releases/download/$VERSION_SLUG/vscoq-language-server-$VERSION.tar.gz vscoq-language-server.opam

- name: Publish prerelease
if: ${{ github.event.inputs.prerelease }}
run: |
eval $(opam env)
VERSION_SLUG="${GITHUB_REF_NAME_SLUG#v}"
VERSION="${GITHUB_REF_NAME#v}"
VERSION_SLUG="${{ github.event.inputs.tag }}"
VERSION="${VERSION_SLUG#v}"
cd language-server
git config --global user.name vscoqbot
git config --global user.email vscoqbot@inria.fr
opam publish --no-browser -v $VERSION https://github.com/coq-community/vscoq/releases/download/$GITHUB_REF_NAME/vscoq-language-server-$VERSION_SLUG.tar.gz vscoq-language-server.opam
opam publish --no-browser --packages-directory=extra-dev/packages --repo=coq/opam -v $VERSION https://github.com/coq-community/vscoq/releases/download/$VERSION_SLUG/vscoq-language-server-$VERSION.tar.gz vscoq-language-server.opam
Loading