Fix the date and make the pipeline more verbose.

CHERIoT-Platform · Jan 10, 2025 · 57460c2 · 57460c2
1 parent 97a3581
commit 57460c2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -44,7 +44,7 @@ jobs:
         uses: actions/configure-pages@v3
       - name: Build with Jekyll
         # Outputs to the './_site' directory by default
-        run: bundle exec jekyll build --baseurl "${{ steps.pages.outputs.base_path }}"
+        run: bundle exec jekyll build --baseurl "${{ steps.pages.outputs.base_path }}" -V
         env:
           JEKYLL_ENV: production
       - name: Upload artifact

diff --git a/_posts/2025-01-10-Clang-17-now-in-dev-container.markdown b/_posts/2025-01-10-Clang-17-now-in-dev-container.markdown
@@ -1,7 +1,7 @@
 ---
 layout: post
 title:  "Clang 17 now in dev container, and other toolchain news"
-date:   2025-01-23
+date:   2025-01-10
 categories: cheri toolchain
 author: Owen Anderson
 ---