search

model-checking / cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
https://model-checking.github.io/cbmc-viewer/
Apache License 2.0
32 stars 11 forks source link

fixup! CI jobs: remove use of deprecated set-output #168

Closed tautschnig closed 1 month ago

tautschnig commented 1 month ago

Fixes the output name to match the variable name that was changed in fbf6eca0. (The change in fbf6eca0 was unintentional, but makes it more uniform with other output names.)

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.