#!/bin/sh
URL="$1"
OUTPUT_FILE="$2"
if [[ -z "$OUTPUT_FILE" ]]; then
OUTPUT_FILE="$(basename $URL)"
fi
wget $URL -O "$OUTPUT_FILE"

echo "file=$OUTPUT_FILE" >> "$GITHUB_OUTPUT"