Skip to content

ci: pin actions and toolchains, scope permissions per event, and generate the benchmark tables from one result - #744

Open
owjs3901 wants to merge 43 commits into
mainfrom
ci/hardening
Open

owjs3901 wants to merge 43 commits into
mainfrom
ci/hardening

merge: update PR #744 with PR #731

2fcff60
Select commit
Loading
Failed to load commit list.