Merge pull request #12 from DeterminateSystems/graham/fh-211-change-flakehub-cache-domain-to-cacheflakehubcom

use cache.flakehub.com
This commit is contained in:
Graham Christensen 2024-02-15 16:06:15 -05:00 committed by GitHub
commit 5dbb9eb561
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions

View file

@ -7,7 +7,7 @@ seed=$(date)
log=$MAGIC_NIX_CACHE_DAEMONDIR/daemon.log log=$MAGIC_NIX_CACHE_DAEMONDIR/daemon.log
binary_cache=https://flakehub-cache-prod.fly.dev binary_cache=https://cache.flakehub.com
# Check that the action initialized correctly. # Check that the action initialized correctly.
grep 'FlakeHub cache is enabled' $log grep 'FlakeHub cache is enabled' $log

View file

@ -41,7 +41,7 @@ inputs:
required: false required: false
flakehub-cache-server: flakehub-cache-server:
description: "The FlakeHub binary cache server." description: "The FlakeHub binary cache server."
default: "https://flakehub-cache-prod.fly.dev" default: "https://cache.flakehub.com"
flakehub-api-server: flakehub-api-server:
description: "The FlakeHub API server." description: "The FlakeHub API server."
default: "https://api.flakehub.com" default: "https://api.flakehub.com"