harden github CI workflow
authorgggeek <giunta.gaetano@gmail.com>
Mon, 30 Jan 2023 11:46:19 +0000 (11:46 +0000)
committergggeek <giunta.gaetano@gmail.com>
Mon, 30 Jan 2023 11:46:19 +0000 (11:46 +0000)
commit6f0f8c76a07b00fa4bbb10feefe6008b80eac751
tree2014f8b0cf03afd43e7ee997f648682f0aa82ccf
parent8b94c5b30c9e48bfa9fb68561f63a3202f3a28eb
harden github CI workflow
.github/workflows/ci.yaml