From 12e996ad966fdd04f931655ee32fb19f473cb2e2 Mon Sep 17 00:00:00 2001 From: Auguste Rame <19855629+SuperAuguste@users.noreply.github.com> Date: Sun, 22 Jan 2023 05:40:03 -0500 Subject: [PATCH] Fix env transfer (#932) --- .github/workflows/fuzz.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml index b1312a0..aef4c5c 100644 --- a/.github/workflows/fuzz.yml +++ b/.github/workflows/fuzz.yml @@ -31,12 +31,12 @@ jobs: - name: Default fuzzing duration if: github.event_name != 'pull_request' run: | - FUZZING_DURATION=${{ github.event.inputs.fuzzing_duration }} + echo "FUZZING_DURATION=${{ github.event.inputs.fuzzing_duration }}" >> $GITHUB_ENV - name: PR fuzzing duration if: github.event_name == 'pull_request' run: | - FUZZING_DURATION=15m + echo "FUZZING_DURATION=15m" >> $GITHUB_ENV - name: Grab zig uses: goto-bus-stop/setup-zig@v1 @@ -84,6 +84,7 @@ jobs: continue-on-error: true run: | cd $GITHUB_WORKSPACE/sus + FUZZING_DURATION=${{ env.FUZZING_DURATION }} { sleep ${FUZZING_DURATION:-1h}; pkill -9 sus; } & ./zig-out/bin/sus $GITHUB_WORKSPACE/zls/zig-out/bin/zls markov $GITHUB_WORKSPACE/zig/lib/std