Remove unneeded manual download of boost (#541)

* Remove unneeded manual download of boost

Signed-off-by: Alan Jowett <alanjo@microsoft.com>

.github/workflows/build.yml

@@ -57,17 +57,9 @@ jobs:
       working-directory: ${{env.GITHUB_WORKSPACE}}
       run: nuget restore ${{env.SOLUTION_FILE_PATH}}
 
-    - name: Install Boost
-      working-directory: ${{env.GITHUB_WORKSPACE}}
-      run: |
-        $Url = "https://sourceforge.net/projects/boost/files/boost-binaries/1.72.0/boost_1_72_0-msvc-14.2-64.exe"
-        (New-Object System.Net.WebClient).DownloadFile($Url, "$env:TEMP\boost.exe")
-        Start-Process -Wait -FilePath "$env:TEMP\boost.exe" "/SILENT","/SP-","/SUPPRESSMSGBOXES","/DIR=C:\hostedtoolcache\windows\Boost\1.72.0\x86_64"
-
     - name: Create verifier project
       working-directory: ${{env.GITHUB_WORKSPACE}}
       run: |
-        $env:BOOST_ROOT="C:\hostedtoolcache\windows\Boost\1.72.0\x86_64"
         cd external\ebpf-verifier
         mkdir build
         cmake -B build

.github/workflows/codeql-analysis.yml

@@ -60,17 +60,9 @@ jobs:
       working-directory: ${{env.GITHUB_WORKSPACE}}
       run: nuget restore ${{env.SOLUTION_FILE_PATH}}
 
-    - name: Install Boost
-      working-directory: ${{env.GITHUB_WORKSPACE}}
-      run: |
-        $Url = "https://sourceforge.net/projects/boost/files/boost-binaries/1.72.0/boost_1_72_0-msvc-14.2-64.exe"
-        (New-Object System.Net.WebClient).DownloadFile($Url, "$env:TEMP\boost.exe")
-        Start-Process -Wait -FilePath "$env:TEMP\boost.exe" "/SILENT","/SP-","/SUPPRESSMSGBOXES","/DIR=C:\hostedtoolcache\windows\Boost\1.72.0\x86_64"
-
     - name: Create verifier project
       working-directory: ${{env.GITHUB_WORKSPACE}}
       run: |
-        $env:BOOST_ROOT="C:\hostedtoolcache\windows\Boost\1.72.0\x86_64"
         cd external\ebpf-verifier
         mkdir build
         cmake -B build