Skip to content

Pest & Kotlin ausgelöscht #98

Pest & Kotlin ausgelöscht

Pest & Kotlin ausgelöscht #98

Workflow file for this run

name: Build
# Controls when the workflow will run
on:
# Triggers the workflow on push events for all branches
push:
branches: [ main, master ]
pull_request:
branches:
- main
- master
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "build_latex"
build_latex:
# The type of runner that the job will run on
runs-on: ubuntu-latest
container:
image: ghcr.io/tudalgo/algotex:latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
# 1. Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- name: Set up Git repository
uses: actions/checkout@v4
# 3. Build the documents
- name: "Build the documents"
run: |
make -j
# 4. Upload artifacts to GitHub
- name: Upload artifacts to GitHub
uses: actions/upload-artifact@v4
with:
name: Vorkurs-Materialien
path: "pdfout/*.pdf"
if-no-files-found: error
# 9. Get Date
# - name: Get current date
# id: date
# run: echo "::set-output name=date::$(date +'%Y-%m-%d-%H-%M-%S.%N')"
#10 create a release
# - name: Create a release
# if: ${{ github.ref == 'refs/heads/main' && !env.ACT && github.repository == 'd120/vorkurs' }}
# uses: softprops/action-gh-release@v1
# env:
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
# with:
# tag_name: snapshot-${{ steps.date.outputs.date }}
# name: snapshot-release-${{ steps.date.outputs.date }}
# files: "pdfout/*.pdf"
# fail_on_unmatched_files: true
# draft: false
# prerelease: false
deploy:
if: ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' }}
# The type of runner that the job will run on
runs-on: ubuntu-latest
needs: build_latex
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
- name: Install SSH Key
uses: shimataro/ssh-key-action@v2
with:
key: ${{ secrets.SSH_SECRET_KEY }}
known_hosts: "just-a-placeholder-so-we-dont-get-errors"
- name: Adding Known Hosts
run: |
mkdir -p ~/.ssh
ssh-keyscan -H login.d120.de > ~/.ssh/known_hosts
# save the pdf file from the previous workflow
- name: Save pdf file
uses: actions/download-artifact@v4
with:
path: .
name: Vorkurs-Materialien
- name: Set current year
id: year
run: echo "::set-output name=year::$(date +'%Y')"
- name: Deploy with rsync
run: rsync -avz * ${{ secrets.SSH_USER }}@login.d120.de:public_html/vorkurs-${{ steps.year.outputs.year }}