Continuous Cachix Pushing

Preamble

For now (at 19edac45690a31c6255481ab08ebf16799a46513), there is no GitHub Actions to push cache to cachix. I suggest that adding a workflow to push cache to cachix.

The example workflow

name: "cachix-pusher"

on:
  branches:
    - master

jobs:
  push:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v4
    - uses: cachix/install-nix-action@v25
      with:
        nix_path: nixpkgs=channel:nixos-unstable
    - uses: cachix/cachix-action@v14
      with:
        name: simula
        signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'

Start with the example GitHub Actions workflow in the issue and verify the repository's current workflow configuration. Add the Cachix-pushing workflow using the shown actions and signing-key secret; done means cache pushes run on the master branch without exposing the secret.