act
All checks were successful
CI / Typst formatting (push) Successful in 15s
CI / Typos (push) Successful in 17s
CI / Build (push) Successful in 12m48s

This commit is contained in:
Mark 2025-01-22 08:18:31 -08:00
parent dd1175d6a3
commit c00313ce1f
Signed by: Mark
GPG Key ID: C6D63995FE72FD80
2 changed files with 24 additions and 37 deletions

View File

@ -88,11 +88,10 @@ jobs:
retention-days: 7
- name: "Publish package"
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}
run: |
PUBLISH_USER="${{ secrets.PUBLISH_USER }}" \
PUBLISH_KEY="${{ secrets.PUBLISH_KEY }}" \
VERSION="${{ github.sha }}" \
PACKAGE="${{ secrets.PACKAGE }}" \
PACKAGE="${{ vars.PACKAGE }}" \
python tools/build/publish.py

View File

@ -1,26 +1,24 @@
from typing import TypedDict
from pathlib import Path
import requests
import shutil
import json
import os
from requests.auth import HTTPBasicAuth
URL="https://git.betalupi.com"
USER = os.environ['USER']
PACKAGE = os.environ['PACKAGE']
VERSION = os.environ['VERSION']
AUTH = HTTPBasicAuth(USER, os.environ['PUBLISH_KEY'])
URL = "https://git.betalupi.com"
USER = os.environ["USER"]
PACKAGE = os.environ["PACKAGE"]
VERSION = os.environ["VERSION"]
AUTH = requests.auth.HTTPBasicAuth(USER, os.environ["PUBLISH_KEY"])
ROOT: Path = Path(os.getcwd())
SRC_DIR: Path = ROOT / "output"
def log(msg):
print(f"[PUBLISH.PY] {msg}")
log(f"Version is {VERSION}")
log(f"Package is is {PACKAGE}")
log(f"Package is {PACKAGE}")
log(f"Running in {ROOT}")
if not ROOT.is_dir():
log("Root is not a directory, cannot continue")
@ -31,49 +29,39 @@ if not SRC_DIR.exists():
log("Source dir doesn't exist, cannot continue")
exit(1)
def upload(data, target: str):
requests.put(
f"{URL}/api/packages/{USER}/generic/{PACKAGE}/{VERSION}/{target}",
auth=AUTH,
data=data
data=data,
)
return f"{URL}/api/packages/{USER}/generic/ormc-handouts/{VERSION}/{target}"
return f"{URL}/api/packages/{USER}/generic/{PACKAGE}/{VERSION}/{target}"
index = SRC_DIR / "index.json"
with index.open("r") as f:
index_file = SRC_DIR / "index.json"
with index_file.open("r") as f:
index = json.load(f)
new_index = []
for handout in index:
title = handout["title"]
group = handout["group"]
h_file = SRC_DIR/handout["handout_file"]
s_file = SRC_DIR/handout["handout_file"]
h_file = SRC_DIR / handout["handout_file"]
s_file = SRC_DIR / handout["handout_file"]
h_url = None
s_url = None
h_url = upload(
h_file.open('rb').read(),
f"{group} - {title}.pdf"
)
h_url = upload(h_file.open("rb").read(), f"{group} - {title}.pdf")
if s_file is not None:
s_url = upload(
s_file.open('rb').read(),
f"{group} - {title}.sols.pdf"
s_url = upload(s_file.open("rb").read(), f"{group} - {title}.sols.pdf")
log(f"Published {title} to {h_url}")
new_index.append(
{"title": title, "group": group, "handout": h_url, "solutions": s_url}
)
log(f"Published {title}")
new_index.append({
"title": title,
"group": group,
"handout": h_url,
"solutions": s_url
})
upload(
json.dumps(new_index),
"index.json"
)
upload(json.dumps(new_index), "index.json")