update.yml

name: "Update"
on:
  workflow_dispatch:
  push:
    branches:
      - main
      - master

jobs:
  sync:
    runs-on: ubuntu-latest
    permissions:
      id-token: write
      contents: write
    steps:
      - uses: DeterminateSystems/nix-installer-action@main
      - uses: DeterminateSystems/magic-nix-cache-action@main

      - name: Setup cachix
        uses: cachix/cachix-action@v15
        with:
          name: cryolitia
          extraPullNames: nix-community

      - name: Checkout
        uses: actions/checkout@v4
        with:
          show-progress: false

      - name: Setup Git
        run: |
          git config --global user.name "$GITHUB_ACTOR"
          git config --global user.email "$GITHUB_ACTOR@users.noreply.github.com"
          git show -s

      - name: Update OpenPGP
        run: |
          make

      - name: Commit change
        continue-on-error: true
        run: |
          set +e

          git add .
          git status
          git commit -m "openpgp: update at $(date +'%Y-%m-%dT%H:%M:%S')"
          git push