diff --git a/.gitea/workflows/poll-upstream.yml b/.gitea/workflows/poll-upstream.yml index 62d6f49..5b24f41 100644 --- a/.gitea/workflows/poll-upstream.yml +++ b/.gitea/workflows/poll-upstream.yml @@ -25,7 +25,7 @@ jobs: # Query our own dnf repo. If the version is there, we've already built it. # Strip leading 'v' because RPM versions don't use it. version="${UPSTREAM_TAG#v}" - if curl -sSfI "https://rpm.lair.cafe/mistralrs/fedora-43/x86_64/mistralrs-server-cuda13-fa-${version}-1.fc43.x86_64.rpm" | grep -q '^HTTP.*200'; then + if curl -sSfI "https://rpm.lair.cafe/fedora/43/x86_64/mistralrs-server-cuda13-fa-${version}-1.fc43.x86_64.rpm" | grep -q '^HTTP.*200'; then echo "already_built=true" >> "$GITHUB_OUTPUT" else echo "already_built=false" >> "$GITHUB_OUTPUT" diff --git a/script/publish-repo.sh b/script/publish-repo.sh index 2d6d9f6..2b5e304 100755 --- a/script/publish-repo.sh +++ b/script/publish-repo.sh @@ -2,7 +2,7 @@ set -euo pipefail RPM_DIR="${1:?usage: $0 }" -REMOTE_DIR="/var/www/rpm/mistralrs/fedora-43/x86_64" +REMOTE_DIR="/var/www/rpm/fedora/43/x86_64" # sign each rpm with the imported gpg key for rpm in "${RPM_DIR}"/*.rpm; do diff --git a/script/setup/nginx.sh b/script/setup/nginx.sh index 9df432a..cda3cca 100755 --- a/script/setup/nginx.sh +++ b/script/setup/nginx.sh @@ -34,7 +34,7 @@ else echo "failed to create or observe gitea_ci user on ${nginx_host}" exit 1 fi -if ssh ${nginx_host} "sudo install --directory /var/www/rpm && sudo setfacl -R -m u:gitea_ci:rwx /var/www/rpm/ && sudo chcon -Rt httpd_sys_content_t /var/www/rpm/"; then +if ssh ${nginx_host} "sudo install --directory --mode 0755 /var/www/rpm/fedora/43/x86_64 && sudo setfacl -R -m u:gitea_ci:rwx /var/www/rpm/ && sudo chcon -Rt httpd_sys_content_t /var/www/rpm/"; then echo "rpm repo directory created and permissions set on ${nginx_host}" else echo "failed to create rpm repo directory on ${nginx_host}"