diff --git a/.github/workflows/github-actions-are-differences-found.yml b/.github/workflows/github-actions-are-differences-found.yml new file mode 100644 index 00000000..45436800 --- /dev/null +++ b/.github/workflows/github-actions-are-differences-found.yml @@ -0,0 +1,20 @@ +name: Check that OK files are up to date + +on: + pull_request: + +jobs: + No-Diffs-In-Ok-Files: + runs-on: ${{ vars.USE_SELF_HOSTED == 'true' && 'self-hosted' || 'ubuntu-latest' }} + steps: + - name: Check out repository code + uses: actions/checkout@v6 + with: + fetch-depth: 0 + - name: Check ok files + run: | + set +e + grep --include="*.ok" -Rn "Differences found " + if [[ "$?" == "0" ]]; then + exit 1 + fi diff --git a/util/test/util_log_redirect.ok b/util/test/util_log_redirect.ok index baa82e6a..6d2ed512 100644 --- a/util/test/util_log_redirect.ok +++ b/util/test/util_log_redirect.ok @@ -64,7 +64,6 @@ Path Type: min No paths found. -Warning 168: util_log_redirect.tcl line 1, unknown field nets. Startpoint: r3 (rising edge-triggered flip-flop clocked by clk) Endpoint: out (output port clocked by clk) Path Group: clk @@ -76,6 +75,7 @@ Fanout Cap Slew Delay Time Description 0.00 0.00 clock network delay (ideal) 0.00 0.00 0.00 ^ r3/CLK (DFFHQx4_ASAP7_75t_R) 1 0.00 0.01 0.04 0.04 ^ r3/Q (DFFHQx4_ASAP7_75t_R) + out (net) 0.00 0.00 0.04 ^ out (out) 0.04 data arrival time diff --git a/util/test/util_log_redirect.tcl b/util/test/util_log_redirect.tcl index df6fa2e4..45dc9e20 100644 --- a/util/test/util_log_redirect.tcl +++ b/util/test/util_log_redirect.tcl @@ -30,7 +30,7 @@ log_begin $log_file1 report_checks report_checks -path_delay min report_checks -from [get_ports in1] -to [get_ports out] -report_checks -fields {slew cap input_pins nets fanout} +report_checks -fields {slew cap input_pins net fanout} report_units log_end