Skip to content

chore Remove non-existent branch from semgrep workflow #20

chore Remove non-existent branch from semgrep workflow

chore Remove non-existent branch from semgrep workflow #20

Triggered via push September 27, 2024 14:34
Status Success
Total duration 2m 34s
Artifacts

build.yml

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