cbmc-viewer
cbmc-viewer copied to clipboard
Make sure no information fetched from secrets manager is logged
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.