Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
JeanKossaifi committed Feb 6, 2024
1 parent 632ce99 commit 33e1a4d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/build_doc.yml
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ jobs:
git rm -r dev/*
echo ${CWD}
echo $(ls)
cp -r doc/build/html/* dev/
cp -r doc/build/html/* dev
git add dev
# If the doc is up to date, the script shouldn't fail, hence --allow-empty
# Might be a cleaner way to check
Expand Down

0 comments on commit 33e1a4d

Please sign in to comment.