1 | # https://man.sr.ht/builds.sr.ht/compatibility.md#fedora-linux
|
2 |
|
3 | image: fedora/40
|
4 |
|
5 | packages:
|
6 | # Same package names as Ubuntu
|
7 | # https://packages.fedoraproject.org/pkgs/zip/zip/
|
8 | #- python2.7
|
9 | - python3
|
10 | - time
|
11 | - zip
|
12 | # for SSH debugging!
|
13 | - vim
|
14 |
|
15 | secrets:
|
16 | - 839206d4-55e5-4840-8b1f-867dc3ac622e
|
17 |
|
18 | tasks:
|
19 | - dev-setup-fedora: |
|
20 | cd oils
|
21 | soil/worker.sh JOB-dev-setup-fedora
|
22 |
|
23 | - publish-dev-setup-fedora: |
|
24 | cd oils
|
25 | soil/sourcehut.sh publish-html-assuming-ssh-key dev-setup-fedora
|
26 |
|
27 | - did-all-succeed: |
|
28 | cd oils
|
29 | soil/host-shim.sh did-all-succeed dev-setup-fedora
|