blob: b008e613d7e07f95affd54374e98fdcf41caf0f0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
name: Release
on:
push:
tags:
- '*'
jobs:
release:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- name: Setup pari
run: |
sudo apt-get update
sudo apt-get install -y libpari-dev pari-gp pari-seadata
- name: Build
run: |
make
strip ecgen
- name: Release
uses: softprops/action-gh-release@v2
with:
files: ecgen
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
