File tree Expand file tree Collapse file tree 2 files changed +3
-6
lines changed
Expand file tree Collapse file tree 2 files changed +3
-6
lines changed Original file line number Diff line number Diff line change 7575 - name : Delete Oldest Build
7676 run : |
7777 # Delete the oldest haddock build if there are more than 10 builds.
78- if [[ $(ls -1A haddock | wc -l) -gt 10 ]]; then
78+ if [[ $(ls -1A haddock | wc -l) -gt 8 ]]; then
7979 OLDEST_BUILD=$(ls -1A haddock | sort | head -n 1)
8080 rm -rf haddock/$OLDEST_BUILD
8181
Original file line number Diff line number Diff line change @@ -241,13 +241,10 @@ echo "Injecting additional prologue html"
241241list-valid-plutus-versions () {
242242 git fetch --tags --force
243243 local versions=" $( git tag | grep -Eo ' [0-9]+\.[0-9]+\.[0-9]+\.[0-9]+' | sort -rV | uniq | tr ' ' ' \n' ) "
244- local min_ver=" 1.40.0.0"
245244 echo master
246245 echo latest
247- for ver in $versions ; do
248- if [[ " $( echo -ne " $ver \n$min_ver " | sort -V | head -n 1 | tr -d ' \n' ) " == " $min_ver " ]]; then
249- echo " $ver "
250- fi
246+ for ver in $( echo " $versions " | head -n 6) ; do
247+ echo " $ver "
251248 done
252249}
253250
You can’t perform that action at this time.
0 commit comments