name: Build

on:
  push:
    branches:
      - proof

permissions:
  contents: read

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
      - name: Checkout
        run: |
          git init .
          git config --global user.name "lukas"
          git config --global user.password "ec61536af8db1a12ff8e79ce73b7f2036c94a723"
          git remote add origin "https://git.lukas-harat.com/lukas/promo_steakhouse.git"
          git fetch --depth=1 origin proof
          git checkout -B proof FETCH_HEAD