Skip to content

Rename master to main #521

Rename master to main

Rename master to main #521

Triggered via pull request December 2, 2023 07:08
Status Success
Total duration 28s
Artifacts

semgrep.yml

on: pull_request
Fit to window
Zoom out
Zoom in