diff options
| author | Francesco Zardi <[email protected]> | 2020-10-21 08:06:05 +0100 |
|---|---|---|
| committer | Francesco Zardi <[email protected]> | 2020-10-21 08:06:05 +0100 |
| commit | a9d996a7c5f962b4ac914c86f5005eb22128f511 (patch) | |
| tree | b56e177229758fbaa269388a6b64ff53b933e25d /.github/actions/github-release/Dockerfile | |
| parent | 2c5bd9517e202a6e2b004664f291b85093c8e0a9 (diff) | |
Add whitelist of safe intrinsics
Diffstat (limited to '.github/actions/github-release/Dockerfile')
0 files changed, 0 insertions, 0 deletions