build

chore Remove non-existent branch from semgrep workflow #22

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
trie-hard (nightly)	1m 19s
trie-hard (1.74)	1m 16s
trie-hard (1.80.0)	1m 14s
	3m 49s