diff options
| author | ruki <[email protected]> | 2023-10-29 17:39:03 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2023-10-29 17:39:03 +0800 |
| commit | c38edc3a04d1e9eb4276997e1418679a91df2ce2 (patch) | |
| tree | 64b0103479929394e203456b3902d5736f5edce7 /.github/workflows | |
| parent | 042c51144c1a918d75493a94094e29aeafd924ff (diff) | |
add mantic for ppa
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/linux.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index 0e84135c6..353cf55a0 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -47,6 +47,7 @@ jobs: sudo apt install -y dh-make rng-tools devscripts lintian echo "$PPA_GPG_PRIKEY_2C0C68C9" > ppa_gpg.key gpg --import ppa_gpg.key + scripts/makeppa mantic # 23.10 scripts/makeppa lunar # 23.04 scripts/makeppa kinetic # 22.10 scripts/makeppa jammy # 22.04 |