.github: fix push job

This commit is contained in:
Nikodem Rabuliński 2024-02-11 22:24:32 +01:00
parent b1b68dd2e9
commit 4cd9915a7c
3 changed files with 10 additions and 24 deletions

View file

@ -22,6 +22,6 @@ runs:
extra-trusted-public-keys = nix-community.cachix.org-1:mB9FSh9qf2dCimDSUo8Zy7bkq5CX+/rkCWyvRCYg3Fs=
extra-trusted-public-keys = hercules-ci.cachix.org-1:ZZeDl9Va+xe9j+KqdzoBZMFJHVQ42Uu/c/1/KMC5Lw0=
extra-trusted-public-keys = nrabulinski.cachix.org-1:Q5FD7+1c68uH74CQK66UWNzxhanZW8xcg1LFXxGK8ic=
extra-trusted-public-keys = cache.nrab.lol-1:wIIyvCTlsk39uwKlBFOuVY+BXrPY3lUNAEpDN4H+O0Q=
extra-trusted-public-keys = cache.nrab.lol-1:CJl1TouOyuJ1Xh4tZSXLwm3Upt06HzUNZmeyuEB9EZg=
${{ inputs.extra-conf }}
- uses: DeterminateSystems/magic-nix-cache-action@main