Skip to content

Trying full release

Trying full release #6

Workflow file for this run

name: Make Release
on:
workflow_call:
push:
tags:
- "v*.*.*"
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout repo
uses: actions/checkout@v4
- name: Build
id: build-src
run: |
cd ${{ github.workspace }}/src
make
- name: Tarball Binaries
run: |
cd ${{ github.workspace }}/src/
tar -cvf bin.tar ./bin
- name: Upload Binaries
uses: actions/upload-artifact@v4
with:
name: binaries
path: ${{ github.workspace }}/src/bin.tar
test:
runs-on: ubuntu-latest
steps:
- name: Checkout repo
uses: actions/checkout@v4
- name: Test
id: test-src
run: |
cd ${{ github.workspace }}/src
make test
release:
runs-on: ubuntu-latest
needs: [build, test]
steps:
# - name: Inject slug/short variables
# uses: rlespinasse/github-slug-action@v4
# - name: Create Binary Archive
# run: |
# cd language-server
# VERSION="${GITHUB_REF_NAME_SLUG#v}"
# git archive -o ../vscoq-language-server-$VERSION.tar.gz --prefix=vscoq-language-server-$VERSION/ $GITHUB_SHA .
- name: Download Binaries
uses: actions/download-artifact@v4
with:
name: binaries
path: ${{ github.workspace }}
- name: Extract Binaries
run: |
cd ${{ github.workspace }}
tar -xvf bin.tar
- name: Release
uses: softprops/action-gh-release@v2
if: startsWith(github.ref, 'refs/tags/')
with:
files: bin/*
fail_on_unmatched_files: true
prerelease: false
generate_release_notes: true
name: ${{ github.ref_name }} Release