~nabijaczleweli/klapki.deb

ref: 50de836242adb578bc1bb6c288ddc450c4a4765c klapki.deb/.build.yml -rw-r--r-- 1.3 KiB
50de8362наб Fix upstream homepage link 1 year, 24 days ago
                                                                                
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
image: debian/sid
secrets:
  - f80b756a-e99e-4936-a62a-93c2c2c6dfd5  # klapki auth token
  - d9cc88fb-6e8e-4ff6-b2bf-d0ec6641bb15  # klapki SSH key v2
packages:
  - clang
  - libefivar-dev
  - libefiboot-dev
  - libssl-dev
  - ronn
  - curl
tasks:
  - build-gcc: |
      cd klapki
      make
      make clean
  - build-clang: |
      cd klapki
      CC=clang CXX=clang++ make
  - readme: |
      cd klapki
      set +x  # Avoid echoing the token
      curl -H "Content-Type: text/html"                      \
           -H "Authorization: Bearer $(cat ~/.readme-token)" \
           -XPUT --fail                                      \
           --data-binary @out/man/klapki.8.html_fragment     \
           'https://git.sr.ht/api/repos/klapki-man/readme' &&
      echo "README set"
  - manpages: |
      git -C klapki/ worktree add ../klapki-man man
      cd klapki-man
      git ls-tree -z --name-only HEAD | xargs -0 rm -r
      mv ../klapki/out/man/* .
      git add .
      git config user.email "nabijaczleweli/autouploader@nabijaczleweli.xyz"
      git config user.name "наб autouploader"
      git commit -m "Manpage update by job $JOB_ID"
      git remote set-url origin 'git@git.sr.ht:~nabijaczleweli/klapki'
      ssh-keyscan git.sr.ht > ~/.ssh/known_hosts
      git push