From 9f0bdb2e46fa676a7aff28db327201809f9014cd Mon Sep 17 00:00:00 2001
From: Thomas Nixon <tom@tomn.co.uk>
Date: Tue, 23 Jan 2024 13:00:30 +0000
Subject: [PATCH] show library sizes in CI

---
 .github/workflows/build.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e6551144..f46b0a72 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -116,6 +116,10 @@ jobs:
         run: 'echo "${{ runner.workspace }}/b/ninja/src" >> $GITHUB_PATH'
         shell: bash
 
+      - name: Show library sizes
+        run: 'ls -l ${{ runner.workspace }}/b/ninja/src'
+        shell: bash
+
       - name: 'Run tests'
         run: ctest . --output-on-failure
         working-directory: '${{ runner.workspace }}/b/ninja'