Skip to content

chore Remove non-existent branch from semgrep workflow #21

chore Remove non-existent branch from semgrep workflow

chore Remove non-existent branch from semgrep workflow #21

Triggered via pull request September 27, 2024 14:34
Status Skipped
Total duration 3s
Artifacts

build.yml

on: pull_request
Matrix: trie-hard
Fit to window
Zoom out
Zoom in