search

dealii / code-gallery

A collection of codes based on deal.II contributed by deal.II users
Other
44 stars 54 forks source link

Restrict permissions in CI. #136

Closed marcfehling closed 1 year ago

marcfehling commented 1 year ago

Allows to manually trigger a github workflow. Useful in combination with the scheduler, when a critical change in deal.II should be tested immediately.

Also restrict permissions for security reasons.

marcfehling commented 1 year ago

I removed the workflow_dispatch option again for security reasons. There is no clarity who has permission to start the workflow.

I'll leave a link to an ongoing discussion here. We can add the feature once there is a solution and in case we really need it. https://github.com/orgs/community/discussions/49688

marcfehling commented 1 year ago

This patch closes a security issue and is only 4 lines long. Please consider merging it soon :)