Fetch access tokens from AWS Secrets Manager

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

Closed tautschnig closed 1 month ago

tautschnig commented 2 months ago

We no longer have non-rotating secrets stored in the repository configuration. Implementation copied and adapted from proof-debugger.

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

tautschnig commented 2 months ago

CI jobs are expected to fail until we bring the repos we use for testing to CBMC v6 (which will happen after we release CBMC 6.1 the next few days).