add GitHub workflow to check Boost CDNs

1 files changed, 40 insertions, 0 deletions

diff --git a/.github/workflows/boost_download.yml b/.github/workflows/boost_download.yml
new file mode 100644
index 0000000..d5dc717
--- /dev/null
+++ b/.github/workflows/boost_download.yml
@@ -0,0 +1,40 @@
+name: Boost (download)
+
+on:
+  push:
+  pull_request:
+  schedule:
+    # Weekly, at 5:30 AM on Saturday (somewhat randomly chosen).
+    - cron: '30 5 * * 6'
+  workflow_dispatch:
+
+jobs:
+  build:
+    strategy:
+      matrix:
+        boost-version: [1.58.0, 1.72.0]
+
+    runs-on: ubuntu-20.04
+
+    name: 'Download / ${{ matrix.boost-version }}'
+
+    defaults:
+      run:
+        shell: pwsh
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+
+      - name: Set up Python
+        uses: actions/setup-python@v2
+        with:
+          python-version: '3.x'
+
+      - name: Download Boost
+        uses: ./.github/actions/download-boost
+        with:
+          boost-version: '${{ matrix.boost-version }}'
+
+      - name: Check that Boost was downloaded
+        uses: ./.github/actions/check-boost-download