Added starred

This commit is contained in:
Mark 2024-05-24 23:36:55 -07:00
parent 0e7be26fd7
commit fc2a66f027
5 changed files with 1 additions and 1 deletions

0
Advanced/DFAs/starred Normal file
View File

View File

View File

View File

View File

@ -99,7 +99,7 @@ function build() {
if [[ $solution_stat == 0 ]]; then
echo -n "\"solutions\": \"https://static.betalupi.com/ormc/$(realpath --relative-to="${target_dir}" "${b_target_dir}")/${job_name}.sols.pdf\","
fi
if [[ $solution_stat == 0 ]]; then
if [ -f "starred" ]; then
echo -n "\"starred\": true"
else
echo -n "\"starred\": false"