blob: 7cfe43f9350f380b9664cb937c80f86d768338d8 (
plain) (
blame)
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
|
name: CI
on:
push:
workflow_dispatch:
jobs:
lint:
runs-on: ubuntu-latest
name: Linting
continue-on-error: "${{ github.ref != 'refs/heads/master' }}"
steps:
- name: Checkout
uses: actions/checkout@v7
- name: Set up Python
uses: actions/setup-python@v6
with:
python-version: '3.x'
- name: Run black
uses: psf/black@stable
test:
strategy:
matrix:
python-version: ['3.9', '3.10', '3.11', '3.12', '3.13', '3.14', '3.x']
runs-on: ubuntu-latest
name: 'Python ${{ matrix.python-version }}'
steps:
- name: Checkout
uses: actions/checkout@v7
- name: Set up Python
uses: actions/setup-python@v6
with:
python-version: '${{ matrix.python-version }}'
- name: Run tests as root
run: sudo ./test/test.sh
- name: Run tests
run: ./test/test.sh
aur:
name: Publish to AUR
needs:
- lint
- test
runs-on: ubuntu-latest
if: startsWith(github.ref, 'refs/tags/')
container:
image: archlinux:base-devel
steps:
# This step must be done before actions/checkout. From the latter's
# output:
#
# To create a local Git repository instead, add Git 2.18 or higher to the PATH
#
- name: Install dependencies
run: |
pacman -Syu --noconfirm git openssh
- name: Checkout
uses: actions/checkout@v6
with:
ref: aur
token: '${{ secrets.GH_TOKEN }}'
# makepkg for no reason hard-forbids running as root. Kill me now.
- name: Add builder user
run: |
useradd -m -s /bin/bash builder
passwd -d builder
echo 'builder ALL=(ALL) ALL' >> /etc/sudoers
chown -R builder:builder -- "$GITHUB_WORKSPACE"
- name: Configure SSH
run: |
mkdir -p /home/builder/.ssh/
cat > /home/builder/.ssh/config <<'EOF'
StrictHostKeyChecking no
EOF
cat > /home/builder/.ssh/id_ed25519 <<'EOF'
${{ secrets.SSH_KEY }}
EOF
chown -R builder:builder /home/builder/.ssh
chmod 0600 /home/builder/.ssh/id_ed25519
- name: Configure git
run: |
# See https://github.com/actions/checkout#push-a-commit-using-the-built-in-token
runuser -u builder -- git -C "$GITHUB_WORKSPACE" config user.name "github-actions[bot]"
runuser -u builder -- git -C "$GITHUB_WORKSPACE" config user.email "41898282+github-actions[bot]@users.noreply.github.com"
- name: Run maintenance
run: |
runuser -u builder -- make -C "$GITHUB_WORKSPACE" maintenance
|
