Skip to content

Commit

Permalink
chore: bring releases back to top level
Browse files Browse the repository at this point in the history
  • Loading branch information
arnoweiss committed Nov 29, 2024
1 parent 0843650 commit a1f0c8b
Show file tree
Hide file tree
Showing 144 changed files with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/script.sh
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ cp -R "./specifications"/**/"message/diagram"/*".png" message/diagram
echo "successfully copied message diagrams"
cp -R "./specifications"/**/"figures"/*".png" ./figures/
echo "successfully copied figures"
cp -R "./specifications/releases"/** .
cp -R "./releases"/** .
echo "successfully copied releases"
#rm -rf artifacts
#echo "successfully removed artifacts"
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 comments on commit a1f0c8b

Please sign in to comment.