chore Remove non-existent branch from semgrep workflow #20

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
trie-hard (nightly)	1m 13s
trie-hard (1.74)	1m 14s
trie-hard (1.80.0)	1m 13s
	3m 40s