Add a web extension and debian package compilation #5

Merged
julienfastre merged 22 commits from feature/setup-webext into main 2025-11-12 19:10:42 +00:00
Showing only changes of commit d3c611974f - Show all commits

View File

@@ -13,16 +13,13 @@ jobs:
uses: https://github.com/actions/checkout@v4 uses: https://github.com/actions/checkout@v4
- name: Install rust toolchain - name: Install rust toolchain
uses: https://github.com/dtolnay/rust-toolchain@stable uses: https://github.com/dtolnay/rust-toolchain@stable
- name: Build binaries
run: cargo build --release
- name: Install cargo-deb - name: Install cargo-deb
run: cargo install cargo-deb run: cargo install --quiet cargo-deb
- name: Build Debian package - name: Build Debian package
run: cargo deb run: cargo deb
- name: Upload Debian package to Gitea registry - name: Upload Debian package to Gitea registry
env: env:
GITEA_OWNER: ${{ github.repository_owner }} GITEA_OWNER: ${{ github.repository_owner }}
GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
GITEA_SERVER_URL: ${{ github.server_url }} GITEA_SERVER_URL: ${{ github.server_url }}
DEB_DISTRIBUTIONS: noble,plucky,questing DEB_DISTRIBUTIONS: noble,plucky,questing
DEB_COMPONENT: main DEB_COMPONENT: main
@@ -40,7 +37,7 @@ jobs:
for DISTRO in "${DISTROS[@]}"; do for DISTRO in "${DISTROS[@]}"; do
echo "Uploading ${DEB_FILE} to ${GITEA_SERVER_URL} for owner ${GITEA_OWNER}" echo "Uploading ${DEB_FILE} to ${GITEA_SERVER_URL} for owner ${GITEA_OWNER}"
curl -sSf -X PUT \ curl -sSf -X PUT \
-H "Authorization: token ${GITEA_TOKEN}" \ --user "${GITEA_OWNER}:${GITEA_TOKEN}" \
--upload-file "${DEB_FILE}" \ --upload-file "${DEB_FILE}" \
"${GITEA_SERVER_URL}/api/packages/${GITEA_OWNER}/debian/pool/${DISTRO}/main/upload" "${GITEA_SERVER_URL}/api/packages/${GITEA_OWNER}/debian/pool/${DISTRO}/main/upload"
done done