From fe8ec5c52d19e07a55eed3cd2055e25fc8921b93 Mon Sep 17 00:00:00 2001 From: doyougnu Date: Thu, 2 May 2024 11:37:23 -0400 Subject: [PATCH] ci: repair nix build Specifically, add --no-sandbox to the nix build invocation to work around cabal. Without this cabal errors out stating it has no http connection. --- .github/workflows/deploy.yml | 2 +- src/Measurement_Observation/Binary_Profiling/linux_perf.rst | 3 --- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 8e6f14b..372875e 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -11,7 +11,7 @@ jobs: steps: - uses: actions/checkout@v3 - uses: cachix/install-nix-action@v22 - - run: nix build -o _build + - run: nix build -o _build --no-sandbox - name: Deploy 🚀 uses: JamesIves/github-pages-deploy-action@v4.2.2 with: diff --git a/src/Measurement_Observation/Binary_Profiling/linux_perf.rst b/src/Measurement_Observation/Binary_Profiling/linux_perf.rst index e3aad5a..db91f5f 100644 --- a/src/Measurement_Observation/Binary_Profiling/linux_perf.rst +++ b/src/Measurement_Observation/Binary_Profiling/linux_perf.rst @@ -290,9 +290,6 @@ defined in ``QSort`` that I have elided. Inspecting with Perf -------------------- -Awards -^^^^^^ - To investigate we'll compile and run the program in ``perf``. Perf is a statistical profiler that outputs key CPU counters (these counters are called `PMC