OILS / .builds / worker5.yml View on Github | oilshell.org

29 lines, 23 significant
1# https://man.sr.ht/builds.sr.ht/compatibility.md#fedora-linux
2
3image: fedora/40
4
5packages:
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
15secrets:
16 - 839206d4-55e5-4840-8b1f-867dc3ac622e
17
18tasks:
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