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 028a803447 - Show all commits

View File

@@ -16,11 +16,12 @@ jobs:
- name: Install cargo-deb - name: Install cargo-deb
run: cargo install --quiet cargo-deb run: cargo install --quiet cargo-deb
- name: Build Debian package - name: Build Debian package
run: cargo deb run: cargo deb --quiet
- 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_SERVER_URL: ${{ github.server_url }} GITEA_SERVER_URL: ${{ github.server_url }}
GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
DEB_DISTRIBUTIONS: noble,plucky,questing DEB_DISTRIBUTIONS: noble,plucky,questing
DEB_COMPONENT: main DEB_COMPONENT: main
DEB_ARCH: amd64 DEB_ARCH: amd64