diff --git a/.github/jobs/free_disk_space.sh b/.github/jobs/free_disk_space.sh index fc6c6bad0b..f4f86e8a7c 100755 --- a/.github/jobs/free_disk_space.sh +++ b/.github/jobs/free_disk_space.sh @@ -59,10 +59,6 @@ cmd="docker image prune -af" printf "\nRunning $cmd" $cmd -cmd=docker system prune -af -printf "\nRunning $cmd" -$cmd - cmd="docker images" printf "\nAFTER CLEANUP: $cmd" $cmd diff --git a/docs/_static/pop_ver.js b/docs/_static/pop_ver.js deleted file mode 100644 index ed70d7d141..0000000000 --- a/docs/_static/pop_ver.js +++ /dev/null @@ -1,18 +0,0 @@ -$(document).ready(function() { - // Add 8 to get to end of URL METplus/ - var proj_end = document.baseURI.indexOf("METplus") + 8; - var end = document.baseURI.indexOf("/", proj_end); - var cur_ver = document.baseURI.substring(proj_end, end); - var name = cur_ver.startsWith('v') ? cur_ver.substring(1) : cur_ver; - var mylist = $("#version-list"); - mylist.empty(); - mylist.append($("