-
Notifications
You must be signed in to change notification settings - Fork 22
138 lines (118 loc) · 3.7 KB
/
pyfiction-pypi-deployment.yml
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
# this file is heavily based on https://github.com/cda-tum/qmap/blob/main/.github/workflows/deploy.yml
name: pyfiction PyPI Deployment
on:
release:
types: [ published ]
pull_request:
merge_group:
push:
# branches:
# - main
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
env:
Z3_VERSION: 4.10.0
ENABLE_Z3: 'ON'
jobs:
build_wheels:
name: Wheels for ${{ matrix.config.os }} (${{ matrix.config.arch }})
runs-on: ${{ matrix.config.os }}
strategy:
fail-fast: false
matrix:
config:
- { os: ubuntu-latest, arch: x64 }
- { os: macos-latest, arch: x64 }
- { os: macos-latest, arch: arm64 }
- { os: windows-latest, arch: x64 }
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
fetch-depth: 0
- name: Setup ccache
uses: hendrikmuhs/[email protected]
with:
key: '${{matrix.config.os}}-pyfiction'
variant: ccache
save: true
max-size: 10G
# on Linux, the action does not work because it can't install to the manylinux container
- if: runner.os != 'Linux'
name: Install Z3
uses: cda-tum/setup-z3@v1
with:
version: ${{ env.Z3_VERSION }}
architecture: ${{ matrix.config.arch }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- if: runner.os == 'Linux'
name: Setup mold
uses: rui314/setup-mold@v1
- if: ${{ matrix.config.arch == 'arm64' }}
name: Set Architecture to arm64 if necessary
run: echo "CIBW_ARCHS_MACOS=arm64" >> $GITHUB_ENV
- name: Build wheel
uses: pypa/[email protected]
env:
CIBW_BEFORE_ALL_LINUX: /opt/python/cp39-cp39/bin/pip install z3-solver==${{ env.Z3_VERSION }}
CIBW_TEST_EXTRAS: test
CIBW_TEST_COMMAND: 'python -m unittest discover --start-directory {project} --verbose'
- name: Upload wheel as an artifact
uses: actions/upload-artifact@v3
with:
path: ./wheelhouse/*.whl
build_sdist:
name: Build Source Distribution
runs-on: ubuntu-latest
steps:
- name: Clone respository
uses: actions/checkout@v3
with:
submodules: recursive
fetch-depth: 0
- name: Setup ccache
uses: hendrikmuhs/[email protected]
with:
key: 'ubuntu-latest-pyfiction'
variant: ccache
save: true
max-size: 10G
- name: Setup Python
uses: actions/setup-python@v4
with:
python-version: '3.10'
cache: 'pip'
- name: Setup Z3 Solver
uses: cda-tum/setup-z3@v1
with:
version: ${{ env.Z3_VERSION }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Build sdist
run: pipx run build --sdist
- name: Test sdist
run: z3=${{env.ENABLE_Z3}} pip install dist/*.tar.gz --verbose
- name: Upload sdist as an artifact
uses: actions/upload-artifact@v3
with:
path: dist/*.tar.gz
publish_to_pypi:
needs: [ build_wheels, build_sdist ]
runs-on: ubuntu-latest
name: Publish to PyPI
if: github.event_name == 'release' && github.event.action == 'published'
steps:
- name: Download the previously stored artifacts
uses: actions/download-artifact@v3
with:
name: artifact
path: dist
- name: Deploy to PyPI
uses: pypa/gh-action-pypi-publish@release/v1
with:
password: ${{ secrets.PYPI_DEPLOY_TOKEN }}
skip-existing: true
verbose: true