From c00a4ebb0608f9ef98729e9b610a2678be2bc4fd Mon Sep 17 00:00:00 2001 From: Jack Koenig Date: Fri, 17 Dec 2021 22:40:46 -0800 Subject: Fix width of signed addition when input to mux (#2440) Fix bugs related to arithmetic ops inlined into a mux leg. Add formal equivalence checks to lock in this behavior. Signed-off-by: Schuyler Eldridge --- .github/workflows/test.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to '.github') diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 3d5d4988..d50137ce 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -90,7 +90,10 @@ jobs: # By having this "if" here, this job returns success so that all_tests_passed will succeed too if: github.event_name == 'pull_request' && ! contains(github.event.pull_request.labels.*.name, 'Skip Formal CI') - run: ./.run_formal_checks.sh ${{ matrix.design }} + run: | + echo ${{ github.event_name }} + echo ${{ github.event.pull_request.labels }} + ./.run_formal_checks.sh ${{ matrix.design }} # Sentinel job to simplify how we specify which checks need to pass in branch # protection and in Mergify -- cgit v1.2.3