Skip to content

Added new deb packages #4477

Added new deb packages

Added new deb packages #4477

Workflow file for this run

name: Deploy
on:
push:
branches:
- debs
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-20.04
env:
RELEASE_KEY: ${{ secrets.RELEASE_KEY }}
PUSH_TOKEN: ${{ secrets.PUSH_TOKEN }}
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0 # fetch the whole history
- name: Checkout CI scripts
uses: actions/checkout@v3
with:
repository: ctu-mrs/ci_scripts
path: .ci_scripts
token: ${{ secrets.PUSH_TOKEN }}
- name: Checkout PPA's master
uses: actions/checkout@v3
with:
repository: ctu-mrs/ppa-unstable
path: .master
ref: master
token: ${{ secrets.PUSH_TOKEN }}
- name: Release
run: .ci_scripts/ppa_maintanance/release.sh unstable from-debs-branch
- name: Push
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./
force_orphan: true