Skip to content

chore Remove non-existent branch from semgrep workflow #22

chore Remove non-existent branch from semgrep workflow

chore Remove non-existent branch from semgrep workflow #22

Triggered via push September 27, 2024 19:35
Status Success
Total duration 1m 30s
Artifacts

build.yml

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