Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CI: Hashpin github-actions with dangerous permissions #7153

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

CI: Hashpin github-actions with dangerous permissions #7153

wants to merge 4 commits into from

Commits on Nov 14, 2023

  1. ci(github-actions): hashpin actions with dangerous permissions 

    This includes actions with write permisisons but also actions that have
access to critical secrets, such as the `secrets.ADMIN_GITHUB_TOKEN`

Signed-off-by: Diogo Teles Sant'Anna <[email protected]>
    @diogoteles08
    diogoteles08 committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    a478947 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. ci: hash-pin version updated after previous change 

    Signed-off-by: Diogo Teles Sant'Anna <[email protected]>
    @diogoteles08
    diogoteles08 committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    f1113e7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into ci/hashpin-dependencies

    @diogoteles08
    diogoteles08 authored Dec 15, 2023
    Configuration menu
    Copy the full SHA
    7e1c099 View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2023

  1. Merge branch 'main' into ci/hashpin-dependencies

    @diogoteles08
    diogoteles08 authored Dec 29, 2023
    Configuration menu
    Copy the full SHA
    7d791f0 View commit details
    Browse the repository at this point in the history