Skip to content
git-secrets Check

Removing the old -RV32 directory name from parts of the documentation… #3881

Sign in to view logs

Removing the old -RV32 directory name from parts of the documentation…

Removing the old -RV32 directory name from parts of the documentation… #3881

Triggered via push November 20, 2024 06:38
@aggargaggarg
pushed 874fa7b
main
Status Success
Total duration 14s
Artifacts –

git-secrets.yml

on: push
git-secrets
5s
git-secrets
Fit to window
Zoom out
Zoom in