cbmc-viewer icon indicating copy to clipboard operation
cbmc-viewer copied to clipboard

Make sure no information fetched from secrets manager is logged

Open tautschnig opened this issue 1 year ago • 0 comments

Description of changes:

Use GitHub's log masking to ensure even tokens that do not match GitHub's default filter are replaced by asterisks.

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

tautschnig avatar Aug 22 '24 18:08 tautschnig