Skip to content

Commit

Permalink
publish to gitea packages
Browse files Browse the repository at this point in the history
  • Loading branch information
neferin12 committed Sep 1, 2024
1 parent ee268a1 commit 4dae4b3
Show file tree
Hide file tree
Showing 2 changed files with 51 additions and 33 deletions.
70 changes: 37 additions & 33 deletions .github/workflows/arch_pkgs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -55,38 +55,6 @@ jobs:
path: |
${{ steps.makepkg.outputs.pkgfile0 }}
${{ steps.makepkg.outputs.pkgfile1 }}
# aur-publish:
# if: github.event_name != 'pull_request'
# needs: [build-packages]
# runs-on: ubuntu-latest
# strategy:
# fail-fast: false
# matrix:
# package:
# [
# cadical-pic,
# glpk-cut-log,
# libpoly-git,
# python-cvc5,
# symfpu-cvc5,
# cvc5,
# cvc5-bestperformance,
# cvc5-bin
# ]
# steps:
# - uses: actions/checkout@v3
# - name: Publish AUR package ${{ matrix.package }}
# uses: KSXGitHub/github-actions-deploy-aur@v2.7.0
# with:
# pkgname: ${{ matrix.package }}
# pkgbuild: ./${{ matrix.package }}/PKGBUILD
# commit_username: ${{ secrets.AUR_USERNAME }}
# commit_email: ${{ secrets.AUR_EMAIL }}
# ssh_private_key: ${{ secrets.AUR_SSH_PRIVATE_KEY }}
# commit_message: Update package
# ssh_keyscan_types: rsa,dsa,ecdsa,ed25519
# allow_empty_commits: false
# if: ${{ github.event_name != 'pull_request' && needs.changes.outputs.pgkbuild == 'true' }}
publish-to-repo:
if: ${{ github.event_name != 'pull_request'}}
runs-on: ubuntu-latest
Expand Down Expand Up @@ -115,7 +83,43 @@ jobs:
repo-add -p -R pollinger.db.tar.gz *.pkg.tar.zst
- name: Commit changes
run: |
git config --global --add safe.directory /__w/iSM/iSM
git config --global --add safe.directory $(pwd)
git add arch
git config --global user.name 'GitHub Actions [Bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
git commit -am "Updated packages"
git push
publish-to-gitea-repo:
if: ${{ github.event_name != 'pull_request'}}
runs-on: ubuntu-latest
needs: [build-packages, changes]
container:
image: archlinux:base-devel
steps:
- name: Install dependencies
run: |
pacman -Syu --noconfirm
pacman -S --noconfirm git
- name: Download packages
uses: actions/download-artifact@v3
with:
name: pkgfiles
path: /tmp/pkgfiles
- name: Clone repo
env:
EXTERNAL_TOKEN : ${{ secrets.EXTERNAL_TOKEN }}
run: |
git clone https://username:$EXTERNAL_TOKEN@git.pollinger.dev/julian/repo.git
- name: Add packages to repo
run: |
cd repo
cp -f /tmp/pkgfiles/* ./arch/x86_64/
cd arch/x86_64
repo-add -p -R pollinger.db.tar.gz *.pkg.tar.zst
- name: Commit changes
run: |
cd repo
git config --global --add safe.directory $(pwd)
git add arch
git config --global user.name 'GitHub Actions [Bot]'
git config --global user.email 'github-actions[bot]@users.noreply.github.com'
Expand Down
14 changes: 14 additions & 0 deletions rust/.idea/inspectionProfiles/Project_Default.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit 4dae4b3

Please sign in to comment.